Skip to content

Validate project files, add order, insert version#116

Closed
robsimmons wants to merge 7 commits into
leanprover-community:mainfrom
robsimmons:config-validate
Closed

Validate project files, add order, insert version#116
robsimmons wants to merge 7 commits into
leanprover-community:mainfrom
robsimmons:config-validate

Test updates

b6bb4f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 warnings
Lint
succeeded Jun 3, 2026 in 36s