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