What's going on?
first master failure https://gitlab.com/coq/coq/-/jobs/3623908914
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.
https://github.com/coq/coq/pull/17147
Last updated: Dec 07 2023 at 11:02 UTC