Stream: Coq devs & plugin devs

Topic: Weird bench error


view this post on Zulip Pierre-Marie Pédrot (Jun 12 2021 at 08:30):

For some reason, https://gitlab.com/coq/coq/-/jobs/1336180451 didn't run and now when trying to relaunch it I get "This job does not have a trace." errors.

view this post on Zulip Pierre-Marie Pédrot (Jun 12 2021 at 08:30):

Anybody has a idea of what's going on?

view this post on Zulip Pierre-Marie Pédrot (Jun 12 2021 at 08:31):

The cause of the failure is claimed to be a timeout but the bench didn't even get to start since the machine was performing another one.

view this post on Zulip Gaëtan Gilbert (Jun 12 2021 at 08:31):

maybe it was started too long ago? I don't know how long jobs are allowed to wait for a machine before they get cancelled

view this post on Zulip Pierre-Marie Pédrot (Jun 12 2021 at 08:32):

But then why can't I restart it?

view this post on Zulip Pierre-Marie Pédrot (Jun 12 2021 at 08:33):

weird, refreshing the page gives me a working job.


Last updated: Oct 16 2021 at 03:02 UTC