Pierre-Marie Pédrot (Jun 12 2021 at 08:30): 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.
Pierre-Marie Pédrot (Jun 12 2021 at 08:30):Anybody has a idea of what's going on?
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.
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
Pierre-Marie Pédrot (Jun 12 2021 at 08:32):But then why can't I restart it?
Pierre-Marie Pédrot (Jun 12 2021 at 08:33):weird, refreshing the page gives me a working job.
Last updated: Sep 09 2024 at 06:02 UTC