Skip to content
Rust CI

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #100

Sign in to view logs

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #100

Triggered via pull request June 27, 2026 19:41
@hyperpolymathhyperpolymath
opened #40
claude/new-session-znxgm7
Status Failure
Total duration 24s
Artifacts –

rust-ci.yml

on: pull_request
rust-ci  /  Detect Cargo.toml
6s
rust-ci / Detect Cargo.toml
rust-ci  /  Cargo check + clippy + fmt
8s
rust-ci / Cargo check + clippy + fmt
rust-ci  /  Cargo audit (security)
rust-ci / Cargo audit (security)
rust-ci  /  Coverage (tarpaulin + codecov)
rust-ci / Coverage (tarpaulin + codecov)
rust-ci  /  Cargo test
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.