diff --git a/.github/workflows/nix_build_linux.yml b/.github/workflows/nix_build_linux.yml
index becfdd49f..7a56d3be9 100644
--- a/.github/workflows/nix_build_linux.yml
+++ b/.github/workflows/nix_build_linux.yml
@@ -58,7 +58,7 @@ jobs:
       # nix is taken from the cloud-init template, no need to install it.
       - name: Setup build
         run: |
-          nix develop .?submodules=1# -c cmake -G Ninja -B build -DCMAKE_CXX_STANDARD=17 -DCMAKE_BUILD_TYPE=Debug -DCMAKE_ENABLE_TESTS=TRUE -DGENERATE_EVM_VERIFIER=TRUE
+          nix develop .?submodules=1# -c cmake -G Ninja -B build -DCMAKE_CXX_STANDARD=17 -DCMAKE_BUILD_TYPE=Debug -DCMAKE_ENABLE_TESTS=TRUE -DGENERATE_EVM_VERIFIER=TRUE -DZKLLVM_VERSION=0.1.18
 
       - name: Build zkllvm
         run: |