Skip to content

chore: basic tests for DeclNeeds and ImportNeeds - #166

Open
thorimur wants to merge 9 commits into
leanprover-community:mainfrom
thorimur:declneeds-tests
Open

thorimur wants to merge 9 commits into
leanprover-community:mainfrom
thorimur:declneeds-tests

chore: change name back

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

Annotations

1 warning and 1 notice
build
succeeded Sep 28, 2026 in 50s