ci: cancel stale pull request workflow runs - #2369
Conversation
The CI workflow groups runs by commit hash, so every push to a pull request starts a separate workflow run. Group pull request runs by pull request number and cancel runs superseded by a newer push, while keeping push events grouped by commit hash for the skip-if-redundant behavior. Signed-off-by: Harald Nordgren <haraldnordgren@gmail.com>
|
/submit |
|
Submitted as pull.2369.git.git.1785492641983.gitgitgadget@gmail.com To fetch this version into To fetch this version to local tag |
|
This patch series was integrated into seen via 0473647. |
|
This branch is now known as |
|
There was a status update in the "New Topics" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
|
There was a status update in the "Cooking" section about the branch GitHub Actions CI workflow runs triggered by pull requests have been configured to cancel older runs when a new push is made to the same pull request. Needs review. source: <pull.2369.git.git.1785492641983.gitgitgadget@gmail.com> |
Group CI workflow runs by pull request and cancel older revisions so only the latest push consumes runner capacity.