CI: Free space on worker building container

.github/workflows/docker_linux.yml

@@ -57,6 +57,11 @@ jobs:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Free Up Extra Disk Space
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf /opt/gch
       - name: Pre-build Disk Stats
         run: |
           df -h