custom runner is having some issues https://gitlab.inria.fr/inria-ci/custom-runner/-/issues/28 so I paused it
the ci-coq runners may not be able to keep up with demand, maybe worth avoiding full CI runs when not needed
it seems someone unpaused it?
I paused it again. Whoever unpaused it last time, please say so and say why when you do that.
I didn't touch that runner.
Maybe gitlab admins did something?
We will unpause the custom runner now: you should not pause it yourself, please, because it pauses the runner for everybody (not only for Coq!). You can disable the custom runner for the Coq project only in the CI Settings of the Coq project if you want.
Note: we restarted the custom runner, but we disabled it for the Coq project. You may re-enable it when you want to use it.
let's re enable and see how it goes
it's down again
Last updated: Oct 13 2024 at 01:02 UTC