Stream: Coq devs & plugin devs

Topic: coquelicot failing in ci


view this post on Zulip Gaëtan Gilbert (Nov 02 2020 at 12:48):

eg on recent master https://gitlab.com/coq/coq/-/jobs/824730576

view this post on Zulip Gaëtan Gilbert (Nov 02 2020 at 12:51):

last success https://gitlab.com/coq/coq/-/jobs/821954959
first failure https://gitlab.com/coq/coq/-/jobs/822365449

view this post on Zulip Hugo Herbelin (Nov 02 2020 at 12:53):

I reported it, see https://github.com/math-comp/math-comp/issues/628.

view this post on Zulip Théo Zimmermann (Nov 05 2020 at 14:51):

@Guillaume Melquiond: are you aware of this issue BTW?

view this post on Zulip Guillaume Melquiond (Nov 05 2020 at 15:40):

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