fixing docker build WIP

.github/workflows/docker-build.yml

@@ -26,22 +26,32 @@ jobs:
       id-token: write
 
     steps:
+      # Get and log the free space
+      - name: Build
+        run: |
+          echo "Free space:"
+          df -h
+      
       # Due to the docker image being > available space on the runner
       # we need to do some optimization, to create more space.
-      # https://github.com/marketplace/actions/maximize-build-disk-space
+      # https://github.com/marketplace/actions/disk-space-reclaimer
+      # https://stackoverflow.com/questions/76294509/github-actions-docker-service-container-25gb-cannot-be-loaded
       - name: Maximize build space
-        uses: easimon/maximize-build-space@master
+        uses: insightsengineering/disk-space-reclaimer@v1
         with:
-          # This is used by docker
-          root-reserve-mb: 35000
-          # Let our repo use everything else
-          swap-size-mb: 1024
-          temp-reserve-mb: 100
-          remove-dotnet: 'true'
-          remove-android: 'true'
-          remove-haskell: 'true'
-          remove-codeql: 'true'
-          remove-docker-images: 'true'
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tools-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
+          swap-storage: true
+          docker-images: true
+          tools-cache: true
 
       # Get and log the free space
       - name: Build