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

Update link to JuMP #311

Merged
merged 2 commits into from
Sep 23, 2023
Merged

Update link to JuMP #311

merged 2 commits into from
Sep 23, 2023

Conversation

tmigot
Copy link
Member

@tmigot tmigot commented Sep 23, 2023

No description provided.

@codecov
Copy link

codecov bot commented Sep 23, 2023

Codecov Report

Patch has no changes to coverable lines.

📢 Thoughts on this report? Let us know!.

@tmigot tmigot merged commit 91ea4d0 into main Sep 23, 2023
14 of 15 checks passed
@tmigot tmigot deleted the Fix-jump-link branch September 23, 2023 09:16
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.

1 participant