run ci only once for pull request comments and for master commits (#1042

)
TypeStrong · May 14, 2020 · d989d4c · d989d4c
1 parent d339107
commit d989d4c
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