diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-24 16:06:56 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-25 13:18:41 -0700 |
| commit | eccbf01a223965d89dcbeb6f763d85b18038bd0e (patch) | |
| tree | 320ab023511ec51d539fe098ded6097d307e2c7b /.github | |
| parent | f04bfd4a86979ebccad059c1b2b873a7ce0c998e (diff) | |
| download | subsurface-eccbf01a223965d89dcbeb6f763d85b18038bd0e.tar.gz | |
GitHub Actions: disable Android container builds on GitHub
Building this locally and squashing layers creates a MUCH smaller image.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/android-dockerimage.yml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/.github/workflows/android-dockerimage.yml b/.github/workflows/android-dockerimage.yml index 106bd99b9..cd0d43df6 100644 --- a/.github/workflows/android-dockerimage.yml +++ b/.github/workflows/android-dockerimage.yml @@ -1,10 +1,12 @@ name: Android Docker Image CI -on: - push: - paths: - - scripts/docker/android-build-container/Dockerfile - - .github/workflows/android-docker* +# -- disabled for now, as the resulting image is HUGE and causes our +# Android builds to fail +#on: +# push: +# paths: +# - scripts/docker/android-build-container/Dockerfile +# - .github/workflows/android-docker* jobs: android-build-container: |