Skip to content

Merge branch 'main' into add_highs_support #453

Merge branch 'main' into add_highs_support

Merge branch 'main' into add_highs_support #453

Triggered via push May 6, 2024 22:18
Status Cancelled
Total duration 3m 1s
Artifacts
Matrix: build
lint/style-and-typos
44s
lint/style-and-typos
linux/3.8/bare-env
9s
linux/3.8/bare-env
Matrix: cover
Fit to window
Zoom out
Zoom in

Annotations

15 errors
lint/style-and-typos
Process completed with exit code 1.
linux/3.11/conda
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
linux/3.11/conda
The operation was canceled.
win/3.8/pip
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
win/3.8/pip
The operation was canceled.
win/3.9
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
win/3.9
The operation was canceled.
osx/3.10
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
osx/3.10
The operation was canceled.
linux/3.10/mpi
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
linux/3.10/mpi
The operation was canceled.
linux/3.12
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
linux/3.12
The operation was canceled.
linux/3.10/cython
Canceling since a higher priority waiting request for 'GitHub Branch CI-refs/heads/add_highs_support' exists
linux/3.10/cython
The operation was canceled.