Stream: Coq devs & plugin devs

Topic: custom runner


view this post on Zulip Gaëtan Gilbert (Feb 02 2024 at 12:39):

custom runner is having some issues https://gitlab.inria.fr/inria-ci/custom-runner/-/issues/28 so I paused it

view this post on Zulip Gaëtan Gilbert (Feb 02 2024 at 12:42):

the ci-coq runners may not be able to keep up with demand, maybe worth avoiding full CI runs when not needed

view this post on Zulip Gaëtan Gilbert (Feb 08 2024 at 15:14):

it seems someone unpaused it?

view this post on Zulip Gaëtan Gilbert (Feb 09 2024 at 11:36):

I paused it again. Whoever unpaused it last time, please say so and say why when you do that.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2024 at 16:35):

I didn't touch that runner.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2024 at 16:35):

Maybe gitlab admins did something?

view this post on Zulip Thierry Martinez (Feb 15 2024 at 15:35):

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.

view this post on Zulip Thierry Martinez (Feb 15 2024 at 15:37):

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.

view this post on Zulip Gaëtan Gilbert (Feb 20 2024 at 11:19):

let's re enable and see how it goes

view this post on Zulip Gaëtan Gilbert (Feb 23 2024 at 14:01):

it's down again


Last updated: Oct 13 2024 at 01:02 UTC