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?
the opam archive CI didn't work either yesterday: https://github.com/coq/opam-coq-archive/pull/2561
There may be a race condition in how quickchick deals with build artifacts.
Last updated: Nov 29 2023 at 22:01 UTC