chore: enable ci on main push

Signed-off-by: Ben Meier <[email protected]>
score-spec · Nov 21, 2024 · 52b1f4f · 52b1f4f
1 parent 2f64164
commit 52b1f4f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,10 @@
 name: ci
 on:
+  # We run the CI checks on any pull request updates or pushes to the main branch after PR merge.
   pull_request:
+  push:
+    branches:
+      - main
 permissions:
   contents: read
 jobs: