Optimize PR builds (#2273)

* Optimize PR build * Update codeql.yml
2023-06-07 00:51:56 +02:00
parent c5f66c342b
commit 832f93c0f3
2 changed files with 4 additions and 1 deletions
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@ -1,5 +1,7 @@
 name: "CodeQL"
 on:
+  push:
+    branches: [main]
  pull_request:
    # The branches below must be a subset of the branches above
    branches: [main]