CI: cancel running jobs on updates

2022-07-26 16:44:44 +02:00
parent 1958e70a71
commit 8001807f4d
14 changed files with 53 additions and 0 deletions
@@ -5,6 +5,10 @@
 # or to provide custom queries or build logic.
 name: "CodeQL"

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
  push:
    branches: [0.27-maintenance, main]