Cancel workflow runs for in progress PRs

2024-04-19 21:53:06 +02:00 · 2024-04-19 21:53:06 +02:00 · 5873885edc
commit 5873885edc
parent eb59ace74c
1 changed files with 4 additions and 0 deletions
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@ -10,6 +10,10 @@ on:
    branches-ignore:
      - release

+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
  lint:
    runs-on: ubuntu-latest