diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml index e12e70424..f80762d8f 100644 --- 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