CI: run on push to master

vprover · Jan 8, 2025 · 18c72e7 · 18c72e7
1 parent ec0d8cf
commit 18c72e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -3,6 +3,8 @@ on:
   workflow_dispatch:
   pull_request:
     types: [opened, reopened, synchronize]
+  push:
+    branches: [master]
 
 jobs:
   build: