walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Update Z3 version 

Update to Z3 4.8.10
This commit is contained in:
amai2012 2021-01-31 21:46:14 +01:00 committed by GitHub
parent 4a9166c3bd
commit df305721c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/CI-windows.yml vendored
View File

@ -51,7 +51,7 @@ jobs:
move externals\z3-%Z3_VERSION%-x64-win externals\z3
env:
# see https://github.com/Z3Prover/z3/releases:
Z3_VERSION: 4.8.9
Z3_VERSION: 4.8.10
- name: Install Qt
uses: jurplel/install-qt-action@v2
@ -68,10 +68,7 @@ jobs:
- name: Deploy GUI
run: |
dir Build
dir Build\gui
windeployqt Build\gui
dir Build\gui
del Build\gui\cppcheck-gui.ilk
del Build\gui\cppcheck-gui.pdb