search

coq / bot

A (Coq Development Team) bot written in OCaml
MIT License
23 stars 14 forks source link

Checks tab should list duration of the "Preparing the "custom" executor" or "Executing "step_script" stage of the job script" step when the job times out #313

Open JasonGross opened 9 months ago

JasonGross commented 9 months ago

"Preparing the "custom" executor" took 26:32 here and 55:40 here. I'd like the corresponding checks tab (e.g., this) to say something like

Test has reached timeout on GitLab CI

This job has failed. If you need to, you can restart it directly in the GitHub interface using the "Re-run" button.

Steps taking more than 5 minutes:

  • Preparing the "custom" executor (26:32)
  • Executing "step_script" stage of the job script (1:32:28)

We show below the last 40 lines of the trace from GitLab (the complete trace is available here).

Or the description can be more concise, e.g., just saying "slowest step was ... taking ..." or something.

SkySkimmer commented 1 week ago

We're not using inria custom-runner anymore so maybe this doesn't matter anymore.