Update CI

scroll-tech · Jan 24, 2025 · 5e24594 · 5e24594
1 parent 2e11640
commit 5e24594
Show file tree

Hide file tree

Showing 11 changed files with 1 addition and 8,509 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -96,4 +96,4 @@ jobs:
         run: |
             set -euxo pipefail
             ./setup.sh
-            ./encode_ceno.sh
+            ./test_poseidon.sh 1000
diff --git a/zok_tests/benchmarks/tests/compact_cert/compact_cert.input b/zok_tests/benchmarks/tests/compact_cert/compact_cert.input
diff --git a/zok_tests/benchmarks/tests/compact_cert/compact_cert.witness b/zok_tests/benchmarks/tests/compact_cert/compact_cert.witness
diff --git a/zok_tests/benchmarks/tests/compact_cert/compact_cert.zok b/zok_tests/benchmarks/tests/compact_cert/compact_cert.zok
diff --git a/zok_tests/benchmarks/tests/compact_cert/merkle.zok b/zok_tests/benchmarks/tests/compact_cert/merkle.zok