Skip to content

Commit 959eae1

Browse files
committed
Fix triggers for CodeQL
The push event should only be registered for the master branch and for tags. It was erroneously running on every branch, breaking Dependabot. For PRs we exclude documentation changes only. The schedule was set to run once a week, but we may as well run every morning.
1 parent 63aae6a commit 959eae1

File tree

1 file changed

+10
-2
lines changed

1 file changed

+10
-2
lines changed

.github/workflows/codeql.yml

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,17 @@ name: "Code scanning - action"
22

33
on:
44
push:
5+
branches:
6+
- master
7+
tags:
8+
- v*
59
pull_request:
10+
branches:
11+
- master
12+
paths-ignore:
13+
- '**/*.md'
614
schedule:
7-
- cron: '0 19 * * 0'
15+
- cron: '00 02 * * *'
816

917
jobs:
1018
CodeQL-Build:
@@ -25,7 +33,7 @@ jobs:
2533
# the head of the pull request instead of the merge commit.
2634
- run: git checkout HEAD^2
2735
if: ${{ github.event_name == 'pull_request' }}
28-
36+
2937
# Initializes the CodeQL tools for scanning.
3038
- name: Initialize CodeQL
3139
uses: github/codeql-action/init@v1

0 commit comments

Comments
 (0)