test(vcr-ra): lock scry's const-remat signal in-tree (VCR-RA-010 path-A substrate, #242) #695
ci.yml
on: pull_request
Test
17m 47s
Clippy
15m 1s
Format
36s
Version Pin Sweep
9s
Z3 Verification
13m 59s
Kani Verification
46s
Rivet Validation
3m 45s
Bazel Build & Proofs
2m 6s
Code Coverage
2m 11s
Annotations
1 warning
|
Rivet Validation
Cross-repo link errors present (expected — external projects need rivet init)
|