Stream: Coq devs & plugin devs

Topic: coqbot FULL_CI support

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.

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