-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Closed
Labels
Milestone
Description
Feature
- New architecture module
- Support for processor extension
- Add more instruction details (elaborated below)
- Binding support for:
language - Other (elaborated below)
Describe the feature you'd like
Pushing to a PR which has still running workflows, doesn't stop those workflows.
This wastes a lot of our Action minutes. We should add:
# Stop previous runs on the same branch on new push
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ !contains(github.ref, 'release/')}}This example would require that the release is in it's own release/... branch. So on the release branch nothing gets canceled.
Additional context
Docs: https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency
kabeor