Update with-foundry to use 0.22.0, remove old code #12
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # a github workflow that runs curl -L https://foundry.paradigm.xyz | bash then nargo codegen-verifier then nargo prove p | |
| name: Run fourndry-voting Tests on PR | |
| on: | |
| pull_request: | |
| paths: | |
| - 'foundry-voting/**' | |
| jobs: | |
| test: | |
| defaults: | |
| run: | |
| working-directory: foundry-voting | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Install Nargo | |
| uses: noir-lang/[email protected] | |
| with: | |
| toolchain: stable | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| - name: Generate verifier contract | |
| run: | | |
| nargo codegen-verifier | |
| working-directory: foundry-voting/circuits | |
| - name: Generate proof | |
| run: | | |
| nargo prove | |
| working-directory: foundry-voting/circuits | |
| - name: Test with Foundry | |
| run: | | |
| forge test --optimize --optimizer-runs 5000 --evm-version london |