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

---
 .github/workflows/Windows.yml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index 800095f0f..b9b4fab45 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -38,12 +38,10 @@ jobs:
       - name: cmd3
         if: ${{ matrix.cmd3 }}
         run: ${{ matrix.cmd3 }}  
-      - name: vscmd
-        uses: seanmiddleditch/gha-setup-vsdevenv@v4
-        with:
-           arch: $${ matrix.arch }}
-      - name: cmake
-        uses: lukka/get-cmake@latest 
+      - name: Setup Visual Studio environment
+        run: |
+          $vcvarsall = "C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Community\\VC\\Auxiliary\\Build\\vcvarsall.bat"
+          cmd /c "$vcvarsall" ${{ matrix.arch }}            
       - name: configure
         run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
       - name: make