free_disc_space_on_linux: remove more directories

Co-Authored-By: Claudio Bley <3471749+avdv@users.noreply.github.com>
tweag · Feb 6, 2024 · 31bc94f · 31bc94f
1 parent 4d94c8f
commit 31bc94f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/free_disk_space_on_linux/action.yaml b/.github/actions/free_disk_space_on_linux/action.yaml
@@ -8,5 +8,5 @@ runs:
       if: ${{ runner.os == 'Linux' }}
       run: |-
         sudo swapoff -a
-        sudo rm -rf /swapfile /usr/share/dotnet /usr/local/lib/android /opt/ghc $ANDROID_HOME
+        sudo rm -rf /swapfile /usr/share/dotnet /usr/local/lib/android /opt/ghc "$ANDROID_HOME" /usr/local/.ghcup /usr/local/share/powershell /opt/az /opt/microsoft /etc/skel
         docker rmi $(docker images -q) -f