Updated github workflow file to build ckzg dependency.

runtimeverification · Jan 17, 2025 · bd1d7f4 · bd1d7f4
1 parent e2f2e8b
commit bd1d7f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -37,7 +37,7 @@ jobs:
           distro: jammy
           llvm-version: 15
       - name: 'Compile Deps'
-        run: docker exec -t blockchain-k-plugin-concrete-${GITHUB_SHA} /bin/bash -c 'make -j`nproc` CXX=clang++-14 libff libcryptopp'
+        run: docker exec -t blockchain-k-plugin-concrete-${GITHUB_SHA} /bin/bash -c 'make -j`nproc` CXX=clang++-14 libff libcryptopp c-kzg-4844'
       - name: 'Compile'
         run: docker exec -t blockchain-k-plugin-concrete-${GITHUB_SHA} /bin/bash -c 'make -j`nproc` CXX=clang++-14'
       - name: 'Test'