Skip to content

Add support for /cyclops/sets/{setName}/sets (show sets in project)#21

Merged
MikeTaylor merged 8 commits into
mainfrom
show-sets-in-project
Jun 22, 2026
Merged

Add support for /cyclops/sets/{setName}/sets (show sets in project)#21
MikeTaylor merged 8 commits into
mainfrom
show-sets-in-project

Sample commands in HTML use set `korea_lit`

804cca0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar