From 394a355b19b6f88b593c54e6d1b01570ba1570d8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Dec 2023 04:29:30 +0000
Subject: [PATCH] fix string
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
.github/workflows/Windows.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index 4c3ef50a6..d21413496 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -37,7 +37,7 @@ jobs:
run: ${{ matrix.cmd3 }}
- name: Setup Visual Studio environment
run: |
- cmd /c ""C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
+ 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" ../
- name: make