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.
Anybody has a idea of what's going on?
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.
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
But then why can't I restart it?
weird, refreshing the page gives me a working job.
Last updated: Dec 05 2023 at 06:01 UTC