cancel previous runs

ReproNim · Aug 22, 2023 · 732bfe2 · 732bfe2
1 parent 3cdcc8e
commit 732bfe2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -1,5 +1,9 @@
 name: CI
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     branches: [ master ]