Skip to content
CI

fix(#372): i64.load/i64.store correctness + v0.11.47 #661

Sign in to view logs

fix(#372): i64.load/i64.store correctness + v0.11.47

fix(#372): i64.load/i64.store correctness + v0.11.47 #661

Triggered via pull request June 18, 2026 04:48
@avrabeavrabe
opened #373
fix/372-i64-load-store
Status Success
Total duration 24m 46s
Artifacts –

ci.yml

on: pull_request
Test
17m 8s
Test
Clippy
15m 12s
Clippy
Format
30s
Format
Version Pin Sweep
9s
Version Pin Sweep
Z3 Verification
17m 32s
Z3 Verification
Kani Verification
50s
Kani Verification
Rivet Validation
3m 41s
Rivet Validation
Bazel Build & Proofs
4m 53s
Bazel Build & Proofs
Code Coverage
4m 55s
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)