From 862e0871bcc50eff526f20582f1855bf5788b471 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Tue, 5 Apr 2022 10:20:14 +0100
Subject: Switch to newer KLEE uClibc release

Instead of using a branch that doesn't allow build artifact caching, use
the newer released version instead.
---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github')

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index ea21f1ee..7e7abd27 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -24,7 +24,7 @@ env:
   SOLVERS: STP:Z3
   STP_VERSION: 2.3.3
   TCMALLOC_VERSION: 2.7
-  UCLIBC_VERSION: klee_uclibc_v1.2
+  UCLIBC_VERSION: klee_uclibc_v1.3
   USE_TCMALLOC: 1
   USE_LIBCXX: 1
   Z3_VERSION: 4.8.14
-- 
cgit 1.4.1