Run ci on push

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