diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-10-25 21:04:01 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-25 18:32:50 -0700 |
| commit | de1e4391100419e73d737f3b3f5d53210e7dc4aa (patch) | |
| tree | ae9a685fa9447a37bd886e04467491113638f8a3 /.github/workflows/ios.yml | |
| parent | f83505b554e0a0ac43dab5ce8503fbc100689644 (diff) | |
| download | subsurface-de1e4391100419e73d737f3b3f5d53210e7dc4aa.tar.gz | |
GitHub Actions: only build pushes into and PR against master
This should fix the odd double builds for people who create branches for
pull requests in the main repository.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github/workflows/ios.yml')
| -rw-r--r-- | .github/workflows/ios.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/ios.yml b/.github/workflows/ios.yml index 90a5c8615..f70334b71 100644 --- a/.github/workflows/ios.yml +++ b/.github/workflows/ios.yml @@ -1,5 +1,11 @@ name: iOS -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: + branches: + - master jobs: mobileBuild: |