Skip to content

Conversation

Leonidas-from-XIV
Copy link
Collaborator

We most likely want all changes on main to go through CI and not cancel out early if more things are pushed. That makes tracing issues that happened due to problematic merges much harder.

It retains the cancel-on-new-commits behavior for other branches and PRs.

@Leonidas-from-XIV Leonidas-from-XIV added github-actions Pull requests that update GitHub Actions code github_actions Pull requests that update GitHub Actions code labels Sep 23, 2025
@Leonidas-from-XIV Leonidas-from-XIV merged commit b88950d into ocaml:main Sep 24, 2025
24 of 26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update GitHub Actions code github-actions Pull requests that update GitHub Actions code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants