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: Apr 19 2024 at 16:01 UTC