Github Actions: free space more aggressively

.github/workflows/test-eynollah.yml

@@ -16,10 +16,17 @@ jobs:
     steps:
     - name: clean up
       run: |
+        df -h
         sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /usr/local/lib/android
         sudo rm -rf /opt/ghc
         sudo rm -rf "/usr/local/share/boost"
         sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+        df -h
+        docker rmi $(docker images --filter=reference="alpine:*" -q)
+        docker rmi $(docker images --filter=reference="debian:*" -q)
+        docker rmi $(docker images --filter=reference="node:*" -q)
+        df -h
     - uses: actions/checkout@v4
     - uses: actions/cache@v4
       id: model_cache