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 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