get disk space

Author: danny

.github/workflows/build.yaml

@@ -7,6 +7,13 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      - name: Clean up disk space
+        run: |
+            sudo rm -rf /usr/share/dotnet
+            sudo rm -rf /opt/ghc
+            sudo rm -rf "/usr/local/share/boost"
+            sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+            df -h  # Zeigt freien Speicher
       - name: Prepare and checkout
         uses: actions/checkout@v6
       - name: Set environment variables