86 todos in algebra #454
pull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
0s
Check Proof Producer
/
Get zkLLVM run to use artifacts from
5s
Verify Circuit Proof
/
Produce and verify proofs
2m 2s
Linux Crypto3 Testing with gcc
/
Build and test Linux with gcc
2m 11s
Linux Crypto3 Testing with clang
/
Build and test Linux with clang
2m 11s
Check Proof Producer
/
Build prover, generate proofs for circuits
1m 46s
Verify Circuit Proof
/
...
/
verify-proofs
Check Proof Producer
/
...
/
run-tests
Annotations
4 errors and 2 warnings