free_disk_space_on_linux action: remove $ANDROID_HOME

tweag · Feb 6, 2024 · 4d94c8f · 4d94c8f
1 parent 0037d94
commit 4d94c8f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/actions/free_disk_space_on_linux/action.yaml b/.github/actions/free_disk_space_on_linux/action.yaml
@@ -8,7 +8,5 @@ runs:
       if: ${{ runner.os == 'Linux' }}
       run: |-
         sudo swapoff -a
-        sudo rm -rf /swapfile /usr/share/dotnet /usr/local/lib/android /opt/ghc
+        sudo rm -rf /swapfile /usr/share/dotnet /usr/local/lib/android /opt/ghc $ANDROID_HOME
         docker rmi $(docker images -q) -f
-
-