[CI] only run push CI on master push

Vindaar · Nov 8, 2024 · 57db97a · 57db97a
1 parent 23d8c4b
commit 57db97a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,8 @@ on:
       - 'docs/**'
       - 'latexdsl.nimble'
       - '.github/workflows/ci.yml'
+    branches:
+      - 'master'
   pull_request:
     paths:
       - 'tests/**'