[z3-verifier] Formal verification of SHA-256 against FIPS 180-4 #5056
0xAndoroidrust.yml
on: pull_request
fmt
44s
clippy
1m 27s
machete
1m 3s
Build Wasm
2m 54s
Test jolt-core
9m 47s
Test jolt-core (zk)
8m 56s
typos
9s
jolt binary check
6m 26s
WASM Verifier E2E
8m 49s
Test inlines
3m 16s
Jolt SDK Verifier Tests
4m 51s
Test tracer
2m 35s
ZkLean extractor tests
2m 45s
Compile extracted Lean
3m 23s