Skip to content

temporally remove other jobs: TODO revert this commit #2

temporally remove other jobs: TODO revert this commit

temporally remove other jobs: TODO revert this commit #2

name: Verify circuit proof
on:
workflow_call:
jobs:
produce-proofs:
name: "Produce and verify proofs"
runs-on: [self-hosted, Linux, X64, aws_autoscaling]
steps:
- name: Clean up after previous checkout
run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Configure
- run: cd crypto3 && eval "$configurePhase"
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Build
- run: cd crypto3/build && ninja transpiler_evm_test
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Execute
- run: cd crypto3/build && ./libs/transpiler/test/transpiler_evm_test -- --save-proof-data
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Publish Proofs
uses: actions/upload-artifact@v4
with:
name: proofs
path: |
placeholder/crypto3/build/circuit*