fix: Clear space in CI for the image builds (#173)

From testing, this frees up 10+ GB on the root filesystem.

Author: awalker4

.github/workflows/docker-publish.yml

@@ -65,6 +65,9 @@ jobs:
         password: ${{ secrets.QUAY_IO_ROBOT_TOKEN }}
     - name: Build image
       run: |
+        # Clear some space (https://github.com/actions/runner-images/issues/2840)
+        sudo rm -rf /usr/share/dotnet /opt/ghc /usr/local/share/boost "$AGENT_TOOLSDIRECTORY"
+
         ARCH=$(cut -d "/" -f2 <<< ${{ matrix.docker-platform }})
         DOCKER_BUILDKIT=1 docker buildx build --platform=$ARCH --load \
           --build-arg PIP_VERSION=$PIP_VERSION \