Stream: Coq devs & plugin devs

Topic: cancelled CI runs


view this post on Zulip 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?

view this post on Zulip 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: Jul 24 2024 at 11:01 UTC