ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof #96
hyperpolymathrust-ci.yml
on: pull_request
rust-ci
/
Detect Cargo.toml
3s
rust-ci
/
Cargo audit (security)
0s
rust-ci
/
Coverage (tarpaulin + codecov)
0s
rust-ci
/
Cargo test
0s
Annotations
1 error
|
rust-ci / Cargo check + clippy + fmt
Process completed with exit code 1.
|