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

updated Z3 to 4.8.15 (#3928)

This commit is contained in:
Oliver Stöneberg 2022-03-23 12:47:01 +01:00 committed by GitHub
parent e0830693c3
commit e7f97a9621
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,7 +26,7 @@ jobs:
# see https://www.pcre.org/original/changelog.txt # see https://www.pcre.org/original/changelog.txt
PCRE_VERSION: 8.45 PCRE_VERSION: 8.45
# see https://github.com/Z3Prover/z3/releases: # see https://github.com/Z3Prover/z3/releases:
Z3_VERSION: 4.8.10 Z3_VERSION: 4.8.15
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2

2
.github/workflows/release-windows.yml vendored
View File

@ -26,7 +26,7 @@ jobs:
# see https://www.pcre.org/original/changelog.txt # see https://www.pcre.org/original/changelog.txt
PCRE_VERSION: 8.45 PCRE_VERSION: 8.45
# see https://github.com/Z3Prover/z3/releases: # see https://github.com/Z3Prover/z3/releases:
Z3_VERSION: 4.8.10 Z3_VERSION: 4.8.15
QT_VERSION: 5.15.2 QT_VERSION: 5.15.2
steps: steps: