MNT remove large chunk of data for making larger space on the server

Author: tomMoral

.github/workflows/test.yml

@@ -19,6 +19,28 @@ jobs:
             DOCKER_IMAGE_NAME: docker-codabench-test
 
         steps:
+            - name: Delete huge unnecessary tools folder
+              run: |
+                echo "################################"
+                echo "Disk usage BEFORE cleanup:"
+                echo "################################"
+                df -h
+
+                echo "Removing .NET..."
+                rm -rf /usr/share/dotnet || true
+
+                echo "Removing Android SDK..."
+                sudo rm -rf /usr/local/lib/android || true
+
+                echo "Removing GHC / Haskell..."
+                rm -rf /opt/ghc || true
+                sudo rm -rf /usr/local/.ghcup || true
+
+                echo "################################"
+                echo "Disk usage AFTER cleanup:"
+                echo "################################"
+                df -h
+
             - name: Checkout repository
               uses: actions/checkout@v3