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: Dec 05 2023 at 04:01 UTC