Try moving release build to macos host

.github/actions/setup/action.yml

@@ -13,16 +13,11 @@ runs:
   using: composite
   steps:
       - name: Remove unnecessary software to free up disk space
-        if: contains(fromJSON('["ubuntu-18.04","ubuntu-20.04","ubuntu-22.04"]'), inputs.os)
+        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
-          echo $PATH
-          du -hs /usr/share/dotnet
-          du -hs /usr/local/lib/android
-          ls -la /usr/local
-          du -hs /usr/local/.ghcup
           sudo rm -r /usr/share/dotnet /usr/local/lib/android /usr/local/.ghcup
           df -h
 

.github/workflows/kani.yml

@@ -188,7 +188,7 @@ jobs:
           retention-days: 3
 
   releasebundle-ubuntu:
-    runs-on: ubuntu-20.04
+    runs-on: macos-latest
     container:
       image: ubuntu:18.04
     steps:
@@ -197,6 +197,7 @@ jobs:
       # action requires Git >=2.18, so use the Git maintainers' PPA.
       - name: Install system dependencies
         run: |
+          df -h
           apt-get update
           apt-get install -y software-properties-common apt-utils
           add-apt-repository ppa:git-core/ppa