Skip to content
Rust CI

fix(ci): make the secret scanner and the Lean proof gate actually run #229

Sign in to view logs

fix(ci): make the secret scanner and the Lean proof gate actually run

fix(ci): make the secret scanner and the Lean proof gate actually run #229

Triggered via pull request July 27, 2026 17:37
@hyperpolymathhyperpolymath
opened #129
fix/valid-workflows-secret-scanner-and-lean-proofs
Status Failure
Total duration 2m 29s
Artifacts –

rust-ci.yml

on: pull_request
rust-ci  /  Detect Cargo.toml
8s
rust-ci / Detect Cargo.toml
rust-ci  /  Cargo check + clippy + fmt
43s
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
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 101.