From ec38bd48daf9f54ae830099255e6e25812c621f7 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sat, 24 Oct 2026 15:11:32 +0000
Subject: [PATCH] Fix release PR workflow: install .NET SDK pinned in
 global.json

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ucy4KzB9ax4y67WyGMb8tW
---
 .github/workflows/gen-release-pr.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/gen-release-pr.yml b/.github/workflows/gen-release-pr.yml
index 68ccbb08..d3168802 100644
--- a/.github/workflows/gen-release-pr.yml
+++ b/.github/workflows/gen-release-pr.yml
@@ -153,6 +153,12 @@ jobs:
           run_id: ${{ github.event.workflow_run.id }}
           name: wasm-file
 
+      - name: Set up .NET
+        if: steps.version-update.outputs.new-version != ''
+        uses: actions/setup-dotnet@v6
+        with:
+          global-json-file: global.json
+
       - name: Compute sha and regenerate docs
         if: steps.version-update.outputs.new-version != ''
         id: doc-gen