Stream: Coq devs & plugin devs

Topic: stdlib broken on CI


view this post on Zulip Pierre-Marie Pédrot (May 07 2021 at 21:09):

Fix at https://github.com/coq/coq/pull/14280, any kind soul could merge it quickly?

view this post on Zulip Pierre-Marie Pédrot (May 07 2021 at 21:09):

(Wait for base to finish just to be sure, but it should be enough.)


Last updated: Oct 16 2021 at 02:03 UTC