Skip to content

Gurobi v12 clean up#125

Merged
maxkratz merged 1 commit intomainfrom
hotfix/gurobi-dependency-cleanup
Sep 2, 2025
Merged

Gurobi v12 clean up#125
maxkratz merged 1 commit intomainfrom
hotfix/gurobi-dependency-cleanup

Conversation

@maxkratz
Copy link
Copy Markdown
Member

@maxkratz maxkratz commented Sep 2, 2025

No description provided.

@maxkratz maxkratz self-assigned this Sep 2, 2025
@maxkratz maxkratz added the bug Something isn't working label Sep 2, 2025
@maxkratz maxkratz merged commit 062812e into main Sep 2, 2025
4 checks passed
@maxkratz maxkratz deleted the hotfix/gurobi-dependency-cleanup branch September 2, 2025 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant