ci: Update microsoft/setup-msbuild to v2 from v1.3. (#7119)

This changes from using Node 16 to Node 20 internally, eliminating some deprecation warnings from within GitHub Actions.
Z3Prover · Feb 21, 2024 · 88fb1fc · 88fb1fc
1 parent c3d0539
commit 88fb1fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
@@ -24,7 +24,7 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
       - name: Add msbuild to PATH
-        uses: microsoft/setup-msbuild@v1.3
+        uses: microsoft/setup-msbuild@v2
       - run: |
           md build
           cd build