Skip to content

Add Lean toolchain column to candidates table - #23

Merged
justincasher merged 1 commit into
mainfrom
justin/lean-toolchain-column
May 9, 2026
Merged

Add Lean toolchain column to candidates table#23
justincasher merged 1 commit into
mainfrom
justin/lean-toolchain-column

Add Lean column sourced from local clones

b72fee8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar