Stream: Coq devs & plugin devs

Topic: coqbot FULL_CI support

view this post on Zulip Théo Zimmermann (Oct 05 2022 at 16:22):

FTR, I just deployed a version of coqbot which systematically starts pipelines with FULL_CI=false unless the label needs: full CI was added to the PR.

view this post on Zulip Théo Zimmermann (Oct 05 2022 at 16:23):

If someone is about to push somewhere in a PR branch, please let me know so that we check it works.

Last updated: Jun 05 2023 at 10:01 UTC