Run CodeQL on a PR, not push (#114)

NigelBreslaw · Jan 7, 2024 · 8376fb1 · 8376fb1
1 parent b62880f
commit 8376fb1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,8 +1,6 @@
 name: "CodeQL"
 
 on:
-  push:
-    branches: [ "main" ]
   pull_request:
     branches: [ "main" ]
   # Run once a week so old code is regularly re-analyzed.