remove large dirs

lambdaclass · Oct 13, 2023 · 79812cf · 79812cf
1 parent 02d28d4
commit 79812cf
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/rust-tests.yml b/.github/workflows/rust-tests.yml
@@ -114,6 +114,11 @@ jobs:
         sudo apt-get remove -y azure-cli google-cloud-sdk hhvm google-chrome-stable firefox powershell mono-devel
         sudo apt-get autoremove -y
         sudo apt-get clean
+        df -h
+        echo "Removing large directories"
+        # deleting 15GB
+        rm -rf /usr/share/dotnet/
+        df -h
     - name: add llvm deb repository
       uses: myci-actions/add-deb-repo@10
       with: