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: Oct 16 2021 at 09:07 UTC