Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add mipgap to caputred stats #1049

Merged
merged 1 commit into from
Feb 9, 2024
Merged

Conversation

jd-lara
Copy link
Member

@jd-lara jd-lara commented Feb 7, 2024

You need to use the setting detailed_stats to get it.

@jd-lara jd-lara requested a review from sourabhdalvi February 7, 2024 19:06
@jd-lara jd-lara self-assigned this Feb 7, 2024
Copy link
Contributor

github-actions bot commented Feb 7, 2024

Performance Results

Version Precompile Time
Main 3.277937814
This Branch 3.269035076
Version Build Time
Main-Build Time Precompile 51.133247132
Main-Build Time Postcompile 2.521983387
This Branch-Build Time Precompile 51.278534999
This Branch-Build Time Postcompile 2.684964406

@jd-lara jd-lara changed the base branch from main to jd/xpress_patch February 9, 2024 00:42
@jd-lara jd-lara merged commit 90b900d into jd/xpress_patch Feb 9, 2024
4 of 7 checks passed
@jd-lara jd-lara deleted the jd/capture_mip_gap_in_stats branch February 9, 2024 00:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants