Skip to content
CI

test(vcr-mem): layer-2 end-to-end budget pipeline on real gust fixtur… #743

Sign in to view logs

test(vcr-mem): layer-2 end-to-end budget pipeline on real gust fixtur…

test(vcr-mem): layer-2 end-to-end budget pipeline on real gust fixtur… #743

Triggered via push June 22, 2026 16:19
@avrabeavrabe
pushed 3a6321e
main
Status Success
Total duration 19m 40s
Artifacts –

ci.yml

on: push
Test
16m 52s
Test
Clippy
18m 18s
Clippy
Format
51s
Format
Version Pin Sweep
8s
Version Pin Sweep
Z3 Verification
17m 3s
Z3 Verification
Kani Verification
56s
Kani Verification
Rivet Validation
3m 46s
Rivet Validation
Bazel Build & Proofs
4m 1s
Bazel Build & Proofs
Code Coverage
2m 22s
Code Coverage
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Rivet Validation
Cross-repo link errors present (expected — external projects need rivet init)