Fix typos and grammatical issues in documentation files #1206
This workflow is awaiting approval from a maintainer in #195
Triggered via pull request
December 11, 2024 15:58
Dimitrolito
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #195
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