rm unused dirs

filecoin-project · May 29, 2024 · 0744097 · 0744097
1 parent fa9ff15
commit 0744097
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -49,10 +49,12 @@ jobs:
             - name: Clean up disk space
               run: |
                   df -h
-                  sudo rm -rf /usr/share/dotnet
-                  sudo rm -rf /opt/ghc
-                  sudo rm -rf "/usr/local/share/boost"
-                  sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+                  rm -rf /usr/share/dotnet
+                  rm -rf /opt/ghc
+                  rm -rf "/usr/local/share/boost"
+                  rm -rf "$AGENT_TOOLSDIRECTORY"
+                  rm -rf /usr/local/lib/android
+                  rm -rf /opt/hostedtoolcache
                   df -h
 
             - name: Compilation