Skip to content
Rust CI

feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axioms) #281

Sign in to view logs

feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axioms)

feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axioms) #281

Triggered via pull request July 16, 2026 22:57
@hyperpolymathhyperpolymath
opened #109
claude/project-scope-planning-8agyox
Status Success
Total duration 3m 20s
Artifacts –

rust-ci.yml

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