-
Notifications
You must be signed in to change notification settings - Fork 48
46 lines (37 loc) · 1.11 KB
/
with_foundry.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
name: PR - with-foundry
on:
pull_request:
paths:
- 'with-foundry/**'
jobs:
test-with-foundry:
defaults:
run:
working-directory: with-foundry
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Get latest version
id: versions_step
run: |
output=$(node ./.github/scripts/latest.js)
echo "Output from Node.js script: $output"
STABLE=$(echo $output | jq -r '.stable')
echo "::set-output name=stable::$STABLE"
- name: Set up nargo
uses: ./.github/actions/setup-nargo
with:
version: ${{ steps.versions_step.outputs.stable }}
- name: Set up foundry
uses: ./.github/actions/setup-foundry
- name: Generate verifier contract
run: |
nargo codegen-verifier
working-directory: with-foundry/circuits
- name: Generate proof
run: |
nargo prove
working-directory: with-foundry/circuits
- name: Test with Foundry
run: |
forge test --optimize --optimizer-runs 5000 --evm-version london