Closed JoOkuma closed 5 months ago
PS: It came with some additional changes from the dev branch.
FYI the error looks like this, so you can add it to FAQ or Gurobi documentation:
Gurobi module imported successfully.
Set parameter TokenServer to value "license01"
GurobiError encountered: Request denied: user 'user.name' not in authorized user list
There may be a problem with your Gurobi license or setup.
All modified and coverable lines are covered by tests :white_check_mark:
:exclamation: No coverage uploaded for pull request base (
main@a3ef9ba
). Click here to learn what that means.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
@edyoshikun, could you check if it warns of your problem?
cc: @tischi