Ability to mark ci jobs as broken
Opened this issue · 0 comments
Alizter commented
Following discussion in coq/coq#16154 (comment) we should implement the ability to mark CI jobs as broken and get coqbot to create a pull request allowing it to fail, and once that is merged a pull request renabling it. This should reduce some mechanical work.