Merge pull request 'ci: resilient .NET setup (retry dotnet-install, drop flaky setup-dotnet)' (#8) from ci/resilient-dotnet-setup into main

.gitea/workflows/ci-deploy.yml

@@ -13,10 +13,22 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
-      - name: Setup .NET
+      - name: Setup .NET (resilient)
-        uses: actions/setup-dotnet@v4
+        shell: bash
-        with:
+        # actions/setup-dotnet on this single self-hosted runner intermittently
-          dotnet-version: '9.0.x'
+        # leaves a partial extraction in the shared tool-cache ("tar: Cannot open:
+        # File exists") or corrupts the SDK download. Install into a clean private
+        # dir via dotnet-install.sh and retry once on failure, mirroring the
+        # npm ci / NuGet retries elsewhere in this workflow.
+        run: |
+          install() {
+            curl -fsSL https://dot.net/v1/dotnet-install.sh -o /tmp/dotnet-install.sh
+            rm -rf "$HOME/.dotnet"
+            bash /tmp/dotnet-install.sh --channel 9.0 --install-dir "$HOME/.dotnet"
+          }
+          install || ( echo "dotnet install failed ($?) — retrying once..." && install )
+          echo "$HOME/.dotnet" >> "$GITHUB_PATH"
+          "$HOME/.dotnet/dotnet" --info
 
       - name: Setup Node
         uses: actions/setup-node@v4