Update GitHub Actions workflow

webauthn4j · Jul 13, 2024 · d7af1cd · d7af1cd
1 parent 3ddac28
commit d7af1cd
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,6 +10,10 @@ on:
     # everyday 10AM (UTC)
     - cron: '0 10 * * *'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Build

diff --git a/.github/workflows/pr-gate-ci.yml b/.github/workflows/pr-gate-ci.yml
@@ -2,6 +2,10 @@ name: Pull Request Gate CI
 
 on: pull_request
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Build