Add Lean toolchain column to candidates table - #23

Add Lean toolchain column to candidates table#23

justincasher merged 1 commit into

mainLeanPool/lean-pool:mainfrom

justin/lean-toolchain-columnLeanPool/lean-pool:justin/lean-toolchain-columnCopy head branch name to clipboard