Skip to content
Run solidity-example Tests on PR

Update recursion example and add recursion CI #28

Sign in to view logs

Update recursion example and add recursion CI

Update recursion example and add recursion CI #28

Workflow file for this run

.github/workflows/solidity-example.yml at 719b84b
# a github workflow that runs curl -L https://foundry.paradigm.xyz | bash then nargo codegen-verifier then nargo prove p
name: Run solidity-example Tests on PR
on:
pull_request:
paths:
- "solidity-example/**"
jobs:
test:
defaults:
run:
working-directory: solidity-example
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install Nargo
uses: noir-lang/noirup@v0.1.2
with:
toolchain: stable
- name: Install bb
run: |
curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/master/barretenberg/bbup/install | bash
echo "PATH=$PATH:/home/runner/.bb" >> $GITHUB_ENV
- name: Run bbup
run: |
bbup
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Generate verifier contract
run: |
./build.sh
working-directory: solidity-example/circuits
- name: Install JS dependencies
working-directory: solidity-example/js
run: |
yarn install
- name: Generate proof in JS and test with Foundry
run: |
yarn generate-proof
cd ../contract && forge test --optimize --optimizer-runs 5000 --evm-version london
working-directory: solidity-example/js
- name: Generate CLI proof and test with Foundry
working-directory: solidity-example/circuits
run: |
nargo execute
bb prove -b ./target/noir_solidity.json -w target/noir_solidity.gz -o ./target --oracle_hash keccak
cd ..
(cd contract && forge test --optimize --optimizer-runs 5000 --gas-report -vvv)