Skip to content

fix: detect TOML lean_lib modules for nanoda - #168

Closed
SMC17 wants to merge 4 commits into
leanprover:mainfrom
SMC17:fix/nanoda-top-level-toml
Closed

fix: detect TOML lean_lib modules for nanoda#168
SMC17 wants to merge 4 commits into
leanprover:mainfrom
SMC17:fix/nanoda-top-level-toml

test: add nanoda TOML lean_lib functional test on current workflow

06c9d12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs