hardcore zkllvm version

NilFoundation · Jul 5, 2024 · a0d813c · a0d813c
1 parent e78b17c
commit a0d813c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: |