I tried setting coq_opam_packages -> coq-perennial
in the manual triggering of the bench job but it does not seem to have catched this https://gitlab.com/coq/coq/-/jobs/1976760979 Did I do it wrong?
IIRC it doesn't work well when the job is a retry
Darn
Last updated: Dec 05 2023 at 04:01 UTC