cancel PR builds (#159)

* cancel PR builds * test * test again
2022-11-22 13:47:01 +01:00 · 2022-11-22 13:47:01 +01:00 · 8e8d99f912
parent aba51f1d29
commit 8e8d99f912
1 changed files with 4 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -6,6 +6,10 @@ on:
  pull_request:
  workflow_dispatch:

+concurrency: # Cancel stale PR builds (but not push builds)
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
+  cancel-in-progress: true
+
 jobs:
  build:
    strategy: