chore: minor adjustment to the Solidity verify() function signature a…

…nd integration of Solidity verification with the CI (zkonduit#114)
Mickanos · Feb 25, 2023 · 0a5d1aa · 0a5d1aa
1 parent 161b0e2
commit 0a5d1aa
Show file tree

Hide file tree

Showing 12 changed files with 2,537 additions and 105 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -107,8 +107,10 @@ jobs:
 
     - name: Install solc
       run: (hash svm 2>/dev/null || cargo install svm-rs) && svm install 0.8.17 && solc --version
+    - name: Install Anvil
+      run: cargo install --git https://github.com/foundry-rs/foundry --profile local --locked foundry-cli anvil
     - name: KZG prove and verify tests (EVM)
-      run: cargo test --release --verbose tests::kzg_evm_prove_and_verify_ -- --test-threads 4
+      run: cargo test --release --verbose tests_evm -- --test-threads 4
 
   prove-and-verify-tests: