removed unused tools to free disk space

plumed · Feb 9, 2024 · db24ddf · db24ddf · PlumedBot · Feb 9, 2024
1 parent 25027ba
commit db24ddf
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -34,6 +34,13 @@ jobs:
         path: ~/.ccache
         key: ccache-reset1-linux${{ matrix.variant }}hash-${{ github.sha }}
         restore-keys: ccache-reset1-linux${{ matrix.variant }}hash-
+    - name: Removed unused stuff
+      run: |
+        df -h
+        sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /usr/local/lib/android
+        sudo rm -rf /opt/ghc
+        df -h
     - name: Set up Python
       uses: actions/setup-python@v4
       with: