run ci only once for pull request comments and for master commits

TypeStrong · May 13, 2020 · d43ffe0 · d43ffe0
1 parent 907935c
commit d43ffe0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -1,7 +1,9 @@
 name: Continuous Integration
 on:
   # branches pushed by collaborators
-  push: {}
+  push:
+    branches:
+      - master
   # pull request from non-collaborators
   pull_request: {}
   # nightly