From 01742c1b0250ec1cb98725557bfedc058f841937 Mon Sep 17 00:00:00 2001
From: Lukáš Zaoral <lzaoral@redhat.com>
Date: Sat, 22 Jan 2022 21:27:42 +0100
Subject: CI: Update Z3 to 4.8.14

---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/workflows/build.yaml')

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index c5427815..ae4a6576 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -28,7 +28,7 @@ env:
   UCLIBC_VERSION: klee_uclibc_v1.2
   USE_TCMALLOC: 1
   USE_LIBCXX: 1
-  Z3_VERSION: 4.8.4
+  Z3_VERSION: 4.8.14
 
 jobs:
   Linux:
-- 
cgit 1.4.1