Don't depend on outside action

.github/workflows/push-docker-image.yml

@@ -28,10 +28,15 @@ jobs:
       - uses: actions/checkout@v3
 
       # Some images are too large and we run out of disk space, so try to free some
-      - name: Free Disk Space (Ubuntu)
-        uses: jlumbroso/[email protected]
-        with:
-          tool-cache: false
+      - name: Free disk space
+        run: |
+          # https://github.com/jlumbroso/free-disk-space
+          set -ex
+          sudo rm -rf /usr/local/lib/android || true
+          sudo rm -rf /usr/share/dotnet || true
+          sudo rm -rf /opt/ghc || true
+          sudo rm -rf /usr/local/.ghcup || true
+          sudo docker image prune --all --force || true
 
       - name: Install prerequisites
         run: |