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/android.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/android.yml')
-rw-r--r-- | .github/workflows/android.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/android.yml b/.github/workflows/android.yml index cfb22b357..d5b539c51 100644 --- a/.github/workflows/android.yml +++ b/.github/workflows/android.yml @@ -1,5 +1,11 @@ name: Android -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: + branches: + - master jobs: buildInContainer: |