Skip to content
Lean Verification Build

chore(rust-cli): apply cargo fmt across the workspace (44 files) #34

Sign in to view logs

chore(rust-cli): apply cargo fmt across the workspace (44 files)

chore(rust-cli): apply cargo fmt across the workspace (44 files) #34

Triggered via pull request June 1, 2026 18:58
@hyperpolymathhyperpolymath
opened #73
chore/rust-bench-fmt
Status Failure
Total duration 3m 19s
Artifacts –

lean-verification.yml

on: pull_request
Build and Test Lean Extraction Pipeline
35s
Build and Test Lean Extraction Pipeline
Benchmark Lean Verification Overhead
0s
Benchmark Lean Verification Overhead
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test Lean Extraction Pipeline
Process completed with exit code 2.