mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Update Windows.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-18 19:38:50 -08:00 committed by GitHub
parent c7c007c2c6
commit ee073be3f0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/Windows.yml vendored
View file

@ -39,7 +39,9 @@ jobs:
if: ${{ matrix.cmd3 }} if: ${{ matrix.cmd3 }}
run: cmd3 run: cmd3
- name: vscmd - name: vscmd
run: call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }} uses: seanmiddleditch/gha-setup-vsdevenv@v4
with:
arch: $${ matrix.arch }}
- name: configure - name: configure
run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../ run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
- name: make - name: make