Skip to content

fix: Fix scip indexing of module names#19062

Merged
Veykril merged 4 commits intorust-lang:masterfrom
darichey:scip-fix-module-names
Feb 3, 2025

Commits

Commits on Jan 28, 2025