CI push trigger only on master/main

coq-community · Sep 25, 2023 · f9da3a6 · f9da3a6
1 parent 348241b
commit f9da3a6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -2,6 +2,7 @@ name: CI (Coq)
 
 on:
   push:
+    branches: [ master , main ]
   pull_request:
   schedule:
     - cron: '0 0 1 * *'