Skip to content
CI

fix(#369): unsupported decoder ops loud-skip, never silently drop (GI-FPU-001) #659

Sign in to view logs

fix(#369): unsupported decoder ops loud-skip, never silently drop (GI-FPU-001)

fix(#369): unsupported decoder ops loud-skip, never silently drop (GI-FPU-001) #659

Triggered via pull request June 17, 2026 19:04
@avrabeavrabe
synchronize #371
feat/silent-drop-honesty
Status Success
Total duration 58m 57s
Artifacts –

ci.yml

on: pull_request
Test
17m 16s
Test
Clippy
16m 13s
Clippy
Format
44s
Format
Version Pin Sweep
10s
Version Pin Sweep
Z3 Verification
17m 12s
Z3 Verification
Kani Verification
51s
Kani Verification
Rivet Validation
4m 55s
Rivet Validation
Bazel Build & Proofs
2m 18s
Bazel Build & Proofs
Code Coverage
2m 36s
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)