Stream: Coq devs & plugin devs

Topic: doc:stdlib failures


view this post on Zulip Gaëtan Gilbert (Jan 19 2023 at 10:40):

What's going on?
first master failure https://gitlab.com/coq/coq/-/jobs/3623908914

view this post on Zulip Emilio Jesús Gallego Arias (Jan 19 2023 at 14:14):

Seems strange, " sed: can't read tmp: No such file or directory"

Also, bedrock is failing for real, it should be moved to allow-failure while it is fixed.

view this post on Zulip Gaëtan Gilbert (Jan 20 2023 at 13:10):

https://github.com/coq/coq/pull/17147


Last updated: Jun 08 2023 at 04:01 UTC