fix: purge (even) more

Author: ceholden

.github/workflows/build_push_pr_ecr.yml

@@ -34,18 +34,23 @@ jobs:
       #     scripts/lint
       #     scripts/typecheck
 
-
       - name: Cleanup space
+        # ref: https://github.com/actions/runner-images/issues/2840
         run: |
-            df -h
-            rm -rf /opt/hostedtoolcache
-            df -h
+            echo "Before:"
+            df -h /
+            rm -rf /usr/share/dotnet
+            rm -rf "$AGENT_TOOLSDIRECTORY"
+            echo "After:"
+            df -h /
 
       - name: Build image
         run: |
           df -h
           docker build -t hls-atmospheric-correction .
 
+      # FIXME: use Github Actions version,
+      # https://github.com/depot/build-push-action/blob/main/docs/build-and-push-ecr.md
       - name: Push to latest ECR
         id: push-latest-ecr
         uses: jwalton/gh-ecr-push@v1