From e7f97a962104b166b7c72dae00bba0799ba8a883 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oliver=20St=C3=B6neberg?= Date: Wed, 23 Mar 2022 12:47:01 +0100 Subject: [PATCH] updated Z3 to 4.8.15 (#3928) --- .github/workflows/CI-windows.yml | 2 +- .github/workflows/release-windows.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/CI-windows.yml b/.github/workflows/CI-windows.yml index 84e520d34..e39718b29 100644 --- a/.github/workflows/CI-windows.yml +++ b/.github/workflows/CI-windows.yml @@ -26,7 +26,7 @@ jobs: # see https://www.pcre.org/original/changelog.txt PCRE_VERSION: 8.45 # see https://github.com/Z3Prover/z3/releases: - Z3_VERSION: 4.8.10 + Z3_VERSION: 4.8.15 steps: - uses: actions/checkout@v2 diff --git a/.github/workflows/release-windows.yml b/.github/workflows/release-windows.yml index b271ff8e6..841c3fe42 100644 --- a/.github/workflows/release-windows.yml +++ b/.github/workflows/release-windows.yml @@ -26,7 +26,7 @@ jobs: # see https://www.pcre.org/original/changelog.txt PCRE_VERSION: 8.45 # see https://github.com/Z3Prover/z3/releases: - Z3_VERSION: 4.8.10 + Z3_VERSION: 4.8.15 QT_VERSION: 5.15.2 steps: