On July 17th (i.e. next week), GitLab is moving to a new infrastructure and identity provider.

If you are a “guest” user, action is required. Please follow the first few steps at https://go.epfl.ch/gitlab2025 to create your new guest account at https://eduid.ch/registration and get ahead of the curve.

Forcing latest version of gurobi

9 months ago, finished 9 months ago

Related merge request !15 to merge packages/gurobi

83 minutes 7 seconds, queued for 1 seconds

Admin message