Jason Gross (Apr 28 2023 at 16:17): Jason Gross (Apr 28 2023 at 16:17):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?
Gaëtan Gilbert (Apr 28 2023 at 20:49):pipelines that do not start can still be cancelled
you can try to restart the pipeline
Last updated: Oct 13 2024 at 01:02 UTC