Skip to content

fix (nanoda): git clone master branch - #177

Open
petr-kratochvil wants to merge 1 commit into
leanprover:mainfrom
petr-kratochvil:nanoda-use-master-branch
Open

fix (nanoda): git clone master branch#177
petr-kratochvil wants to merge 1 commit into
leanprover:mainfrom
petr-kratochvil:nanoda-use-master-branch

use master branch of nanoda_lib

0aad494
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Aug 20, 2026 in 15s