From ee073be3f01490638f1515afb5d8a10263529f57 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Dec 2023 19:38:50 -0800
Subject: [PATCH] Update Windows.yml

---
 .github/workflows/Windows.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index c7ad2891105..77059a65296 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -39,7 +39,9 @@ jobs:
         if: ${{ matrix.cmd3 }}
         run: cmd3        
       - name: vscmd
-        run: call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
+        uses: seanmiddleditch/gha-setup-vsdevenv@v4
+        with:
+           arch: $${ matrix.arch }}
       - name: configure
         run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
       - name: make