eg on recent master https://gitlab.com/coq/coq/-/jobs/824730576
last success https://gitlab.com/coq/coq/-/jobs/821954959
first failure https://gitlab.com/coq/coq/-/jobs/822365449
I reported it, see https://github.com/math-comp/math-comp/issues/628.
@Guillaume Melquiond: are you aware of this issue BTW?
No, I was not aware of it. It seems it is going to be fixed on MathComp's side.
Last updated: Dec 07 2023 at 04:02 UTC