Skip to content

Cancel old CI runs when new one is started. - #1651

Merged
antonpirker merged 2 commits into
masterfrom
antonpirker/1644-cancel-old-ci-runs
Sep 29, 2022
Merged

antonpirker merged 2 commits into
masterfrom
antonpirker/1644-cancel-old-ci-runs

Conversation

@antonpirker

@antonpirker antonpirker commented Sep 29, 2022 •

Copy link
Copy Markdown
Contributor

This will save us some CI minutes when new commits are pushed to the same PR over and over again.

Fixes #1644

@antonpirker antonpirker self-assigned this Sep 29, 2022
@antonpirker

Copy link
Copy Markdown
Contributor Author

Look at the checks in the commit "Cancel old CI runs when new one is started". Some of them have been cancelled (grey exclamation mark) which means the setup works!

@antonpirker
antonpirker merged commit 37e165e into master Sep 29, 2022
@antonpirker
antonpirker deleted the antonpirker/1644-cancel-old-ci-runs branch September 29, 2022 15:22
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.

Save GitHub actions concurrency by cancelling old runs

2 participants