Skip to content

feat: distribute fork-built scip so typeHierarchy works for end users - #29

Merged
phuongddx merged 4 commits into
mainfrom
worktree-patched-scip-distribution
Aug 7, 2026
Merged

feat: distribute fork-built scip so typeHierarchy works for end users#29
phuongddx merged 4 commits into
mainfrom
worktree-patched-scip-distribution

fix: version-gate scip install and correct stale typeHierarchy docs

269dcb1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar