I thought we stopped cancelling CI runs on master, but it seems to be happening again? Is there a way to get minimization to work at https://github.com/coq/coq/pull/17537#issuecomment-1527787643 without rebasing the PR again and again and hoping that I manage to find a window where nobody merges PRs for a while?
pipelines that do not start can still be cancelled
you can try to restart the pipeline
Last updated: Nov 29 2023 at 21:01 UTC