From 3d7485515da72bb3b816952ff0fd464720c26afb Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Tue, 3 Oct 2023 14:39:25 -0600 Subject: [PATCH] Updating the version of z3 4.8.15 > 4.12.1 --- .github/actions/with-docker/action.yml | 2 +- .github/workflows/Dockerfile.z3 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml index 106f8de707e..e9d99c03209 100644 --- a/.github/actions/with-docker/action.yml +++ b/.github/actions/with-docker/action.yml @@ -42,7 +42,7 @@ runs: run: | set -euxo pipefail - Z3_VERSION=4.8.15 + Z3_VERSION=4.12.1 K_VERSION=$(cat ${SUBDIR}package/version) USER=$(id -un) USER_ID=$(id -u) diff --git a/.github/workflows/Dockerfile.z3 b/.github/workflows/Dockerfile.z3 index c2ec54df25c..435f730c47d 100644 --- a/.github/workflows/Dockerfile.z3 +++ b/.github/workflows/Dockerfile.z3 @@ -13,7 +13,7 @@ RUN apt-get update \ git \ python3 -ARG Z3_VERSION=4.8.15 +ARG Z3_VERSION=4.12.1 RUN git clone 'https://github.com/z3prover/z3' --branch=z3-${Z3_VERSION} \ && cd z3 \ && python3 scripts/mk_make.py \