Skip to content

Commit 7a006ad

Browse files
Fix triggers for CodeQL (#3319)
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 7a006ad

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 14 * * *' # Every morning at 7:00am PDT
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)