Skip to content

allow submodule for local type#206

Open
RexWzh wants to merge 2 commits into
lean-dojo:mainfrom
Lean-zh:main
Open

allow submodule for local type#206
RexWzh wants to merge 2 commits into
lean-dojo:mainfrom
Lean-zh:main

Merge branch 'lean-dojo:main' into main

694e257
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs