Free up disk space (again) (#2704)

Author: tautschnig

.github/actions/setup/action.yml

@@ -13,11 +13,12 @@ runs:
   using: composite
   steps:
       - name: Remove unnecessary software to free up disk space
+        if: contains(fromJSON('["ubuntu-20.04","ubuntu-22.04"]'), inputs.os)
         shell: bash
         run: |
           # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
           df -h
-          sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc
+          sudo rm -r /usr/share/dotnet /usr/local/lib/android /usr/local/.ghcup
           df -h
 
       - name: Install dependencies

.github/workflows/kani.yml

@@ -191,7 +191,15 @@ jobs:
     runs-on: ubuntu-20.04
     container:
       image: ubuntu:18.04
+      volumes:
+        - /usr/local:/mnt/host-local
     steps:
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          rm -r /mnt/host-local/lib/android /mnt/host-local/.ghcup
+          df -h
       # This is required before checkout because the container does not
       # have Git installed, so cannot run checkout action. The checkout
       # action requires Git >=2.18, so use the Git maintainers' PPA.

.github/workflows/release.yml

@@ -84,9 +84,17 @@ jobs:
     runs-on: ubuntu-20.04
     container:
       image: ubuntu:18.04
+      volumes:
+        - /usr/local:/mnt/host-local
     permissions:
       contents: write
     steps:
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          rm -r /mnt/host-local/lib/android /mnt/host-local/.ghcup
+          df -h
       # This is required before checkout because the container does not
       # have Git installed, so cannot run checkout action. The checkout
       # action requires Git >=2.18, so use the Git maintainers' PPA.