Stream: Coq devs & plugin devs

Topic: bedrock failing in CI


view this post on Zulip 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

view this post on Zulip Pierre-Marie Pédrot (Jan 17 2023 at 16:39):

I think it's broken upstream.

view this post on Zulip Jason Gross (Jan 18 2023 at 11:19):

I've reported at https://github.com/mit-plv/bedrock2/issues/316


Last updated: May 28 2023 at 13:30 UTC