More aggressive freeing of disk space [skip ci]

Author: marcprux

.github/workflows/build_android_sdk.yml

@@ -38,8 +38,8 @@ jobs:
           # brings available space from 25G to 32G
           # otherwise we sometimes run out of space during the build
           sudo rm -rf /opt/microsoft /opt/google /opt/az /usr/share/miniconda /usr/share/az* /usr/share/glade* /usr/local/share/chromium /usr/local/share/powershell /usr/share/dotnet /opt/ghc /opt/hostedtoolcache/CodeQL /usr/local/share/boost
-          sudo docker image prune --all --force
-          sudo docker builder prune -a
+          yes | sudo docker image prune --all --force
+          yes | sudo docker builder prune -a
           df -h
       - name: Setup
         id: config