Skip to content

chore(ci): add in cancellations for concurrent builds of the same branch #17915

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 16, 2023

Conversation

ckipp01
Copy link
Member

@ckipp01 ckipp01 commented Jun 6, 2023

I'd love to get others opinions on this.

This PR introduces a change to the CI that we use in Metals that has
really come in handy. The problem that this attempts to address is that
sometimes during the day the Dotty CI gets really backed up. Many times
when you look at why this is, it's because sometimes people push their
branch 2 or 3 times shortly after one another will small changes. This
then adds 3 full runs to CI when the vast majority of the time, the
latest one is the one they actually care about. What this change does is
cancels the previous one to run the latest. This only does this on
PRs, not on the main branch.

EDIT:

Following the meeting I added in the ability to include a [no cancel] to your PR body. When this is included concurrent builds will be allowed.

@ckipp01 ckipp01 force-pushed the cancel branch 2 times, most recently from 4dd91f5 to e83017d Compare June 12, 2023 15:07
This PR introduces a change to the CI that we use in Metals that has
really come in handy. The problem that this attempts to address is that
sometimes during the day the Dotty CI gets really backed up. Many times
when you look at why this is, it's because sometimes people push their
branch 2 or 3 times shortly after one another will small changes. This
then adds 3 full runs to CI when the vast majority of the time, the
latest one is the one they actually care about. What this change does is
cancels the previous one to run the latest. This _only_ does this on
PRs, not on the main branch.
@nicolasstucki nicolasstucki enabled auto-merge June 16, 2023 14:14
@nicolasstucki nicolasstucki merged commit 07ef815 into scala:main Jun 16, 2023
@ckipp01 ckipp01 deleted the cancel branch June 16, 2023 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants