Forward-merge branch-25.05 into branch-25.08#97

Merged

AyodeAwe merged 1 commit intobranch-25.08from

Jun 12, 2025

Commits on Jun 11, 2025

Fix issue with reported solving time on time-limit termination (#93)
aliceb-nv
authored