Skip to content

Update stubs for latest changes#1140

Merged
Joao-Dionisio merged 1 commit intoscipopt:masterfrom
jonathanberthias:stubs-update2
Dec 28, 2025
Merged

Update stubs for latest changes#1140
Joao-Dionisio merged 1 commit intoscipopt:masterfrom
jonathanberthias:stubs-update2

Commits

Commits on Dec 27, 2025