Attempt to make the release build work (removing even more stuff from…

… the runner)

.github/workflows/build-release.yml

@@ -2,6 +2,8 @@ name: build
 on:
   workflow_dispatch:
   push:
+    branches:
+      - bugfix/release-ci
     tags:
       - '*.*.*'
 
@@ -12,9 +14,21 @@ jobs:
     name: Build natives libraries
     runs-on: ubuntu-20.04
     steps:
-      - name: Make space
-        run: sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc
+      - uses: jlumbroso/free-disk-space@main
+        name: Free Disk Space (Ubuntu)
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
 
+          # all of these default to true, but feel free to set to
+          # "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: true
       - uses: actions/checkout@v3
       - uses: actions/setup-java@v3
         with: