-
Notifications
You must be signed in to change notification settings - Fork 10
59 lines (51 loc) · 1.68 KB
/
reusable-verify-proofs.yml
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
47
48
49
50
51
52
53
54
55
56
57
58
59
name: Verify Proofs (Reusable)
on:
workflow_dispatch:
inputs:
artifact_name:
description: 'Name of the artifact to extract'
required: true
test_names:
description: 'Names of the tests to run (one per line)'
required: true
type: string
evm-placeholder-verification-ref:
description: "Reference to evm-placeholder-verification repository to checkout at"
required: true
type: string
refs:
type: string
description: "Lines with repo names and refs (e.g. `org/repo: ref`)"
required: false
jobs:
run-tests:
runs-on: [ ubuntu-22.04 ]
steps:
- uses: actions/checkout@v4
repository: 'NilFoundation/evm-placeholder-verification'
ref: ${{ inputs.evm-placeholder-verification-ref }}
- name: Checkout modules to specified refs
if: inputs.refs != ''
uses: NilFoundation/ci-cd/actions/[email protected]
with:
paths: ${{ github.workspace }}/**
refs: ${{ inputs.refs }}
- name: Setup Node.js environment
uses: actions/[email protected]
- name: Install node dependencies
run: |
npm install
- name: Download artifact
uses: actions/download-artifact@v3
with:
name: ${{ inputs.artifact_name }}
path: ./contracts/zkllvm
- name: Hardhat deploy
run: |
npx hardhat deploy
- name: Verification of zkllvm proofs
run: |
echo "${{ inputs.test_names }}" | awk '{$1=$1};1' | sed '/^$/d' | while read test_name
do
npx hardhat verify-circuit-proof --test "$test_name"
done