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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test Lean Extraction Pipeline
34s
Benchmark Lean Verification Overhead
-1s
33s