commit 06d48f6aa65a6694f7850246f56f208f98dcc587
parent b6b70ae19915b87f78938eb576ab6def9354b1c5
Author: dundargoc <gocdundar@gmail.com>
Date: Sun, 10 Sep 2023 15:21:56 +0200
ci(codeql): add concurrency to cancel unnecessary jobs early
Diffstat:
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,14 +1,15 @@
name: "CodeQL"
+concurrency:
+ group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
+ cancel-in-progress: true
+
on:
push:
branches: [ "master" ]
pull_request:
# The branches below must be a subset of the branches above
branches: [ "master" ]
- schedule:
- - cron: '42 0 * * 0'
- workflow_dispatch:
jobs:
analyze:
name: Analyze