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

---
 .github/workflows/Windows.yml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index 0b9210d8c..ef4d919e7 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -31,17 +31,19 @@ jobs:
         run:  cd build
       - name: cmd1
         if: ${{ matrix.cmd1 }}
-        run: cmd1
+        run: ${{ matrix.cmd1 }}
       - name: cmd2
         if: ${{ matrix.cmd2 }}
-        run: cmd2
+        run: ${{ matrix.cmd2 }}
       - name: cmd3
         if: ${{ matrix.cmd3 }}
-        run: cmd3        
+        run: ${{ matrix.cmd3 }}  
       - name: vscmd
         uses: seanmiddleditch/gha-setup-vsdevenv@v4
         with:
            arch: $${ matrix.arch }}
+      - name: cmake
+        uses: lukka/get-cmake@latest 
       - name: configure
         run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
       - name: make