commit 006152ff7aa6af65a90c1f52962447ffca848dee
parent 11590543ebad593b9f6d1434b71f019d042cb5d5
Author: Justin M. Keyes <justinkz@gmail.com>
Date: Sun, 13 Aug 2023 12:11:39 -0700
ci: run codeql on pull requests #24545
Also use cache to save 1 minute.
Diffstat:
1 file changed, 7 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,6 +1,11 @@
name: "CodeQL"
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:
@@ -25,6 +30,8 @@ jobs:
with:
languages: cpp
+ - uses: ./.github/actions/cache
+
- run: make
- name: Perform CodeQL Analysis