Skip to content

Defaults to None in evaluation_budget#308

Merged
miguelgondu merged 2 commits intodevfrom
fix/integer-inf
Jun 3, 2025
Merged

Defaults to None in evaluation_budget#308
miguelgondu merged 2 commits intodevfrom
fix/integer-inf

Commits

Commits on Jun 3, 2025