diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 7cd8f060e..d3d9cbc98 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -20,6 +20,7 @@ env:
   USE_TCMALLOC: 0
   USE_LIBCXX: 0
   Z3_VERSION: 4.8.14
+  SQLITE_VERSION: 3400100
   BASE: /home/runner/work/klee-uclibc/klee-uclibc/
 
 jobs: