Gaëtan Gilbert (Jan 19 2023 at 10:40): Gaëtan Gilbert (Jan 19 2023 at 10:40):What's going on?
first master failure https://gitlab.com/coq/coq/-/jobs/3623908914
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.
Gaëtan Gilbert (Jan 20 2023 at 13:10):https://github.com/coq/coq/pull/17147
Last updated: Dec 07 2023 at 11:02 UTC