space optimization, for our huge docker image

.github/workflows/docker-build.yml

@@ -26,6 +26,27 @@ jobs:
       id-token: write
 
     steps:
+      # 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
+      - name: Maximize build space
+        uses: easimon/maximize-build-space@master
+        with:
+          root-reserve-mb: 512
+          swap-size-mb: 1024
+          temp-reserve-mb: 100
+          remove-dotnet: 'true'
+          remove-android: 'true'
+          remove-haskell: 'true'
+          remove-codeql: 'true'
+          remove-docker-images: 'true'
+
+      # Get and log the free space
+      - name: Build
+        run: |
+          echo "Free space:"
+          df -h
+
       - name: Checkout repository
         uses: actions/checkout@v3