docs: cleanup document #1295
This workflow is awaiting approval from a maintainer in #160
Triggered via pull request
December 14, 2024 15:59
osrm
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #160
pull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
Check Proof Producer
/
Get zkLLVM run to use artifacts from
Verify Circuit Proof
/
Produce and verify proofs
Linux placeholder testing with clang
/
Build and test Linux with clang
Linux placeholder testing with gcc
/
Build and test Linux with gcc
Check Proof Producer
/
Build prover, generate proofs for circuits
Verify Circuit Proof
/
...
/
verify-proofs
Check Proof Producer
/
...
/
run-tests