I've seen bedrock failures on various PRs and master recently, what's going on?
recent master https://gitlab.com/coq/coq/-/jobs/3614185994 "make[3]: Makefile.coq.test: No such file or directory"
last master success https://gitlab.com/coq/coq/-/jobs/3603326579
first master failure https://gitlab.com/coq/coq/-/jobs/3608073924
I think it's broken upstream.
I've reported at https://github.com/mit-plv/bedrock2/issues/316
Last updated: Dec 07 2023 at 04:02 UTC