Skip to content

Annotate more straightforward APIs in the stubs - #1271

Merged
Joao-Dionisio merged 24 commits into
scipopt:masterfrom
jonathanberthias:typing/stub-annotations
Oct 14, 2026
Merged

Joao-Dionisio merged 24 commits into
scipopt:masterfrom
jonathanberthias:typing/stub-annotations

Document expanded stub annotations in the changelog

9943000
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
lint
succeeded Oct 13, 2026 in 8s