ci: remove default folders that aren't needed to free up space

.github/workflows/docker-develop.yml

@@ -21,6 +21,10 @@ jobs:
       contents: read
       packages: write
     steps:
+      - name: Remove unnecessary files
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - name: Check out the repo
         uses: actions/checkout@v4.1.0
       - name: Set up Docker Buildx