Gaëtan Gilbert (Jan 17 2023 at 16:18): Gaëtan Gilbert (Jan 17 2023 at 16:18):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
Pierre-Marie Pédrot (Jan 17 2023 at 16:39):I think it's broken upstream.
Jason Gross (Jan 18 2023 at 11:19):I've reported at https://github.com/mit-plv/bedrock2/issues/316
Last updated: Dec 07 2023 at 04:02 UTC