@coqbot help to get some help, including the instructions to minimize failed jobs? 99% of the times, one does not want to see these, since CI fails for all sorts of reasons.
We definitely need to work at lowering the verbosity. However, I don't think that we want to hide the auto-minimization feature either. Furthermore, these messages are sometimes useful to learn that a failure is not specific to the PR because it is also failing in master.
maybe we could put a neutral check "minimization available"
Furthermore, these messages are sometimes useful to learn that a failure is not specific to the PR because it is also failing in master.
that could go in the github check page for the job, ie in https://github.com/coq/coq/pull/14854/checks?check_run_id=3534300287 we could have a message "this also failed on master ($current master commit, link to job)"
Hum, why not? That's interesting, but would require reworking how things are done.
Last updated: Jan 29 2023 at 14:02 UTC