diff options
| -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: |