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.

Sign up for GitHub

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

Jump to bottom

Gurobi in the docs means forks will fail #3917

Open
odow opened this issue Jan 17, 2025 · 0 comments · May be fixed by #3919
Open

Gurobi in the docs means forks will fail #3917

odow opened this issue Jan 17, 2025 · 0 comments · May be fixed by #3919
Labels
Type: Bug Type: Documentation

Comments

@odow
Copy link
Member

odow commented Jan 17, 2025

I didn't think through the implications of #3904 carefully enough.

Because it now needs the secret Gurobi license file, PRs from a fork will fail.

We should either revert to GLPK, or skip some of the examples when we detect a fork.

x-ref #3916
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Bug Type: Documentation
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[docs] exclude Gurobi examples if built from fork jump-dev/JuMP.jl
1 participant
@odow