Skip to content

Add SCIP support#343

Closed
jelmer wants to merge 5 commits into
jonashaag:masterfrom
jelmer:scip
Closed

Add SCIP support#343
jelmer wants to merge 5 commits into
jonashaag:masterfrom
jelmer:scip

[pre-commit.ci] auto fixes from pre-commit.com hooks

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

Annotations

1 error and 1 warning
tests (ubuntu-latest, 3.11)
failed May 27, 2026 in 8s