Skip to content

Conversation

@rgsl888prabhu
Copy link
Collaborator

Description

The website is down and dataset can't be pulled

@rgsl888prabhu rgsl888prabhu added bug Something isn't working non-breaking Introduces a non-breaking change labels Aug 21, 2025
@rgsl888prabhu rgsl888prabhu requested a review from a team as a code owner August 21, 2025 18:47
@rgsl888prabhu rgsl888prabhu self-assigned this Aug 21, 2025
@hlinsen
Copy link
Contributor

hlinsen commented Aug 21, 2025

/merge

@rapids-bot rapids-bot bot merged commit f3fd3cf into NVIDIA:branch-25.10 Aug 21, 2025
142 of 144 checks passed
rapids-bot bot pushed a commit that referenced this pull request Sep 25, 2025
This dataset was disabled in PR #335 since the website was down, the services have been restored as of now, so enabling this back.

And also adding details to README to benchmark mittleman and miplib.

## Issue
#335

Authors:
  - Ramakrishnap (https://github.com/rgsl888prabhu)

Approvers:
  - Rajesh Gandham (https://github.com/rg20)

URL: #414
aliceb-nv pushed a commit that referenced this pull request Sep 26, 2025
This dataset was disabled in PR #335 since the website was down, the services have been restored as of now, so enabling this back.

And also adding details to README to benchmark mittleman and miplib.

## Issue
#335

Authors:
  - Ramakrishnap (https://github.com/rgsl888prabhu)

Approvers:
  - Rajesh Gandham (https://github.com/rg20)

URL: #414
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working non-breaking Introduces a non-breaking change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants