GitHub actions: reintroducing testing on "push"

gusthoff · gusthoff · commit 796989ca8630 · 2025-02-20T02:34:00.000+01:00
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
@@ -11,7 +11,7 @@
 #
 name: "CodeQL"
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   analyze:
