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