Skip to content

ABI Layer 3: monotone safety under policy composition (#34) #90

ABI Layer 3: monotone safety under policy composition (#34)

ABI Layer 3: monotone safety under policy composition (#34) #90

Triggered via push June 28, 2026 05:43
Status Failure
Total duration 3m 48s
Artifacts

rust-ci.yml

on: push
rust-ci  /  Detect Cargo.toml
4s
rust-ci / Detect Cargo.toml
rust-ci  /  Cargo check + clippy + fmt
4s
rust-ci / Cargo check + clippy + fmt
rust-ci  /  Cargo audit (security)
0s
rust-ci / Cargo audit (security)
rust-ci  /  Coverage (tarpaulin + codecov)
0s
rust-ci / Coverage (tarpaulin + codecov)
rust-ci  /  Cargo test
0s
rust-ci / Cargo test
Fit to window
Zoom out
Zoom in

Annotations

1 error
rust-ci / Cargo check + clippy + fmt
Process completed with exit code 1.