Skip to content

docs(help-wanted): #182 solved the next-uses-bare-name kit, but the docs still counted it as open - #202

Merged
joyful-ii-V-I merged 3 commits into
mainfrom
docs/help-wanted-solved-kit
Sep 12, 2026
Merged

docs(help-wanted): #182 solved the next-uses-bare-name kit, but the docs still counted it as open#202
joyful-ii-V-I merged 3 commits into
mainfrom
docs/help-wanted-solved-kit

docs(readme): the reference guide said only a missing --scip index re…

3a1efca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar