Move away from dependence on gurobi.sh #5783

Sign in to view logs

Triggered via pull request November 5, 2024 15:00

mrmundt

synchronize #3384

jsiirola:gurobi-sh-deprecation

Status Cancelled

Total duration 6m 18s

Artifacts –

test_pr_and_main.yml

on: pull_request

lint/style-and-typos

Matrix: build

linux/3.8/bare-env

Matrix: cover

Annotations

1 error

lint/style-and-typos

Canceling since a higher priority waiting request for 'GitHub CI-3384' exists