Skip to content

feat: emit typed SCIP ranges instead of the deprecated packed encoding - #545

Merged
christoph-sg merged 1 commit into
mainfrom
emit-typed-ranges
Nov 11, 2026
Merged

feat: emit typed SCIP ranges instead of the deprecated packed encoding#545
christoph-sg merged 1 commit into
mainfrom
emit-typed-ranges

feat: emit typed SCIP ranges instead of the deprecated packed encoding

ed4cd24
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar