Skip to content

Convert timed mipgap to use termination callback mechanics - #810

Merged
bknueven merged 16 commits into
mainfrom
generalize-timed-mipgap
Aug 14, 2026
Merged

Convert timed mipgap to use termination callback mechanics#810
bknueven merged 16 commits into
mainfrom
generalize-timed-mipgap

Merge branch 'main' into generalize-timed-mipgap

aab7449
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar