Skip to content

Fix result[objective] check and num_workers check in parallel runner - #401

Merged
benvanwerkhoven merged 1 commit into
masterfrom
parallel-fix-objective-check
Sep 15, 2026
Merged

benvanwerkhoven merged 1 commit into
masterfrom
parallel-fix-objective-check

Commits

Commits on Sep 9, 2026