Skip to content

Validate example configurations as part of CI #5006

Validate example configurations as part of CI

Validate example configurations as part of CI #5006

Re-run triggered July 3, 2025 18:59
Status Failure
Total duration 2m 20s
Artifacts

ci.yml

on: pull_request
Matrix: Kani Proofs
Matrix: Rust Actions (Check/Fmt/Clippy)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test Suite
Process completed with exit code 22.