Skip to content

ci: update zkllvm to 0.1.5 #248

ci: update zkllvm to 0.1.5

ci: update zkllvm to 0.1.5 #248

Workflow file for this run

name: tutorial_check
on:
push:
branches: [ master ]
pull_request:
concurrency:
group: ${{
( github.ref == 'refs/heads/master' &&
format('{0}/{1}', github.run_id, github.run_attempt) )
||
format('{0}/{1}', github.workflow, github.ref) }}
cancel-in-progress: true
env:
ZKLLVM_VERSION: 0.1.5
TOOLCHAIN_VERSION: 0.0.39
jobs:
test-zkllvm-workflow:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Compile a circuit
run: scripts/run.sh --verbose --docker compile
- name: Build a statement for the Proof Market
run: scripts/run.sh --verbose --docker build_statement
- name: Calculate a proof
run: scripts/run.sh --verbose --docker prove
- name: Make constraint and assignment table for EVM verifier endpoint
run: scripts/run.sh --verbose --docker build_constraint
- name: Build circuit parameters for EVM verifier endpoint
run: scripts/run.sh --verbose --docker build_circuit_params