Skip to content

feat: LevelScope set the scope of the level - #539

Open
WenrongZou wants to merge 1 commit into
leanprover-community:mainfrom
WenrongZou:test_browser
Open

feat: LevelScope set the scope of the level#539
WenrongZou wants to merge 1 commit into
leanprover-community:mainfrom
WenrongZou:test_browser

fix browser problem

1919317
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs