Update the github workflows to cancel if PR is modified

2026-05-26 13:51:13 +00:00 · 2023-02-21 14:58:26 -08:00
parent 5d1ada4652
commit 7f542e2052
3 changed files with 12 additions and 0 deletions
@@ -1,5 +1,9 @@
 name: "CodeQL"

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
  push:
    branches: [master]
@@ -1,5 +1,9 @@
 name: "Linter"

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on: [pull_request]
 jobs:
  lint:
@@ -1,5 +1,9 @@
 name: "Tests"

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on: [pull_request]
 jobs:
  tests: