Stream: Coq devs & plugin devs

Topic: spurious quickchick failures


view this post on Zulip Gaëtan Gilbert (May 01 2023 at 09:42):

We've been getting some of these recently
eg https://gitlab.com/coq/coq/-/jobs/4198669113, the retry job succeeded
anyone know what's going on?

view this post on Zulip Karl Palmskog (May 01 2023 at 09:57):

the opam archive CI didn't work either yesterday: https://github.com/coq/opam-coq-archive/pull/2561

view this post on Zulip Gaëtan Gilbert (May 01 2023 at 09:58):

seems unrelated?

view this post on Zulip Li-yao (May 01 2023 at 14:49):

There may be a race condition in how quickchick deals with build artifacts.


Last updated: Jul 24 2024 at 13:02 UTC