Run ci on push

lilizoey · Apr 13, 2024 · 20d6dd6 · 20d6dd6
1 parent 18147d1
commit 20d6dd6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/minimal-ci.yml b/.github/workflows/minimal-ci.yml
@@ -10,6 +10,9 @@ name: Minimal CI
 # Includes basic checks to catch most common errors, but is followed by merge queue (full-ci).
 
 on:
+  push:
+    branches:
+      - master
   pull_request:
     branches:
       - master