From 5cafda1fad936148d023b6eafe8d49e0f83dedc7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Dec 2023 04:45:02 +0000
Subject: [PATCH] remove reference to matrix bindings to see if it works
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
.github/workflows/Windows.yml | 24 ++++++------------------
1 file changed, 6 insertions(+), 18 deletions(-)
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index 613cb18c6..a0fb58297 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -22,23 +22,11 @@ jobs:
steps:
- name: Checkout code
uses: actions/checkout@v4
- - name: Create build directory
- run: md build
- name: Build
- run: cd build
- - name: cmd1
- if: ${{ matrix.cmd1 }}
- run: ${{ matrix.cmd1 }}
- - name: cmd2
- if: ${{ matrix.cmd2 }}
- run: ${{ matrix.cmd2 }}
- - name: cmd3
- if: ${{ matrix.cmd3 }}
- run: ${{ matrix.cmd3 }}
- - name: Setup Visual Studio environment
- run: |
+ run: |
+ md build
+ cd build
cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
- - name: configure
- run: cmake -G "NMake Makefiles" ../
- - name: make
- run: nmake
+ cmake -G "NMake Makefiles" ../
+ nmake
+