Skip to content

Annotate several Model methods in the stubs#1220

Merged
Joao-Dionisio merged 11 commits into
scipopt:masterfrom
jonathanberthias:model-annotations-1
Jun 20, 2026
Merged

Annotate several Model methods in the stubs#1220
Joao-Dionisio merged 11 commits into
scipopt:masterfrom
jonathanberthias:model-annotations-1

Merge branch 'master' into model-annotations-1

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

Annotations

1 warning
lint
succeeded Jun 20, 2026 in 8s