add path n prefix

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 19, 2023 · 1b75504 · 1b75504
1 parent 00965cb
commit 1b75504
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
@@ -39,6 +39,6 @@ jobs:
         run: |
           cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}            
       - name: configure
-        run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ..
+        run: cmake .. ${{ matrix.bindings }} -G "NMake Makefiles"
       - name: make
         run: nmake