Skip to content
CI

test(vcr-ra): lock scry's const-remat signal in-tree (VCR-RA-010 path-A substrate, #242) #695

Sign in to view logs

test(vcr-ra): lock scry's const-remat signal in-tree (VCR-RA-010 path-A substrate, #242)

test(vcr-ra): lock scry's const-remat signal in-tree (VCR-RA-010 path-A substrate, #242) #695

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani Verification
46s
Clippy
15m 1s
Z3 Verification
13m 59s
Rivet Validation
3m 45s
Bazel Build & Proofs
2m 6s
Version Pin Sweep
9s
Test
17m 47s
Format
36s
Code Coverage
2m 11s
56m 20s