On this PR I get a curious message I don’t understand: https://github.com/coq/coq/pull/18903 coqbot replies Got more than one checkSuite. When I try to launch a bench
the check in the bot looks like if pipeline_count <> 1 then error "more than 1 checksuite"
the pipeline isn't starting for some reason so pipeline_count is 0
if there is a merge conflict then that's why
if not then IDK, you can try @coqbot run light ci
(or full if you want)
We could refine the message in case there is no check suite.
https://github.com/coq/bot/pull/302
Last updated: Oct 13 2024 at 01:02 UTC