Skip to content
Rust CI

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) #283

Sign in to view logs

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked)

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) #283

Triggered via pull request July 17, 2026 05:07
@hyperpolymathhyperpolymath
opened #110
claude/project-scope-planning-8agyox
Status Success
Total duration 3m 15s
Artifacts –

rust-ci.yml

on: pull_request
rust-ci  /  Detect Cargo.toml
3s
rust-ci / Detect Cargo.toml
rust-ci  /  Cargo check + clippy + fmt
14s
rust-ci / Cargo check + clippy + fmt
rust-ci  /  Cargo audit (security)
3m 4s
rust-ci / Cargo audit (security)
rust-ci  /  Coverage (tarpaulin + codecov)
2m 54s
rust-ci / Coverage (tarpaulin + codecov)
rust-ci  /  Cargo test
15s
rust-ci / Cargo test
Fit to window
Zoom out
Zoom in