Skip to content
GitHub CI

[Depends on #3703] Direct and Persistent Interfaces to SCIP #9040

Sign in to view logs

[Depends on #3703] Direct and Persistent Interfaces to SCIP

[Depends on #3703] Direct and Persistent Interfaces to SCIP #9040

Triggered via pull request April 15, 2026 12:14
@michaelbynummichaelbynum
synchronize #3744
michaelbynum:scip_port
Status Cancelled
Total duration 37m 48s
Artifacts –

test_pr_and_main.yml

on: pull_request
lint/style-and-typos
1m 28s
lint/style-and-typos
Matrix: build
linux/3.10/bare-env
0s
linux/3.10/bare-env
Matrix: cover
Fit to window
Zoom out
Zoom in

Annotations

4 errors
lint/style-and-typos
Process completed with exit code 1.
process-coverage-linux
Process completed with exit code 1.
process-coverage-osx
Canceling since a higher priority waiting request for GitHub CI-3744 exists
GitHub CI
Canceling since a higher priority waiting request for GitHub CI-3744 exists