From 31bc94f32eb375e64ce4bbea20720afff63619c1 Mon Sep 17 00:00:00 2001 From: Yves-Stan Le Cornec Date: Tue, 6 Feb 2024 10:40:13 +0100 Subject: [PATCH] free_disc_space_on_linux: remove more directories Co-Authored-By: Claudio Bley <3471749+avdv@users.noreply.github.com> --- .github/actions/free_disk_space_on_linux/action.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/actions/free_disk_space_on_linux/action.yaml b/.github/actions/free_disk_space_on_linux/action.yaml index d9c4e6986..b73c048d6 100644 --- 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