Skip to content
Lean Verification Build

chore: remove accidentally-tracked runtime artifacts in impl/rust-cli/ #38

Sign in to view logs

chore: remove accidentally-tracked runtime artifacts in impl/rust-cli/

chore: remove accidentally-tracked runtime artifacts in impl/rust-cli/ #38

Triggered via pull request June 1, 2026 19:29
@hyperpolymathhyperpolymath
opened #75
chore/remove-accidental-artifacts-2026-06-01
Status Failure
Total duration 9m 2s
Artifacts –

lean-verification.yml

on: pull_request
Build and Test Lean Extraction Pipeline
34s
Build and Test Lean Extraction Pipeline
Benchmark Lean Verification Overhead
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.