Repository navigation
feat(planner): read MILP accuracy from sketch-bench's saturation curves; heap from the plan #922
Triggered via pull request
October 7, 2026 22:27
zzylol
Status
Cancelled
Total duration
12m 43s
Artifacts
–
Annotations
3 errors, 3 warnings, and 3 notices
|
docker
Canceling since a higher priority waiting request for Rust Projects CI-refs/pull/804/merge exists
|
|
Rust Projects CI
Canceling since a higher priority waiting request for Rust Projects CI-refs/pull/804/merge exists
|
|
docker
The operation was canceled.
|
|
format-and-lint
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, mozilla-actions/sccache-action@v0.0.4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, mozilla-actions/sccache-action@v0.0.4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
docker
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
format-and-lint
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
test
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
docker
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|