search

sourcegraph / scip-python

SCIP indexer for Python
Other
51 stars 23 forks source link

Auto-add labels for filtering in Linear #153

Closed varungandhi-src closed 6 months ago