Stream: Coq devs & plugin devs

Topic: bench job configuration


view this post on Zulip Matthieu Sozeau (Jan 14 2022 at 16:03):

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?

view this post on Zulip Gaƫtan Gilbert (Jan 14 2022 at 16:05):

IIRC it doesn't work well when the job is a retry

view this post on Zulip Matthieu Sozeau (Jan 14 2022 at 16:08):

Darn


Last updated: Feb 02 2023 at 13:03 UTC