Skip to content
Lean Verification Build

chore: M2 ROADMAP + M3 doc-TODO sweep + M4 dep+action SHA refresh #33

Sign in to view logs

chore: M2 ROADMAP + M3 doc-TODO sweep + M4 dep+action SHA refresh

chore: M2 ROADMAP + M3 doc-TODO sweep + M4 dep+action SHA refresh #33

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test Lean Extraction Pipeline
36s
Benchmark Lean Verification Overhead
0s
36s