Try changing github worker rm -rf folders

alan-turing-institute · Oct 11, 2023 · 54253e5 · 54253e5
1 parent 4bf557b
commit 54253e5
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -20,10 +20,10 @@ jobs:
         python-version: ${{ matrix.python-version }}
     - name: Delete huge unnecessary folders
       run: |
-        rm -rf /opt/hostedtoolcache
-        rm -rf /usr/share/dotnet
-        rm -rf /opt/ghc
-        rm -rf "$AGENT_TOOLSDIRECTORY"
+        rm -rf /usr//local/lib/android/
+        rm -rf /usr/share/dotnet/
+        rm -rf /opt/ghc/
+        rm -rf /usr/local/share/boost/
       shell: bash
     - name: Print space
       run: df -h