Repository navigation
Reduce Erdos97ConvexOctagon peak compiler memory #6919
Triggered via pull request
October 24, 2026 16:44
Vilin97
Status
Success
Total duration
3h 51m 16s
Artifacts
2
lean_action_ci.yml
on: pull_request
Annotations
2 warnings and 3 notices
|
Plan build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: astral-sh/setup-uv@d0d8abe699bfb85fec6de9f7adb5ae17292296ff. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Build pool
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, astral-sh/setup-uv@d0d8abe699bfb85fec6de9f7adb5ae17292296ff. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Plan build
"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"
|
|
Build pool
"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"
|
|
Build project
"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"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-validation-receipts
|
680 KB |
sha256:db564e71f69fcbeab7e8f834c4d0174e4911458b9215aee55b62ef5e9103c808
|
|
|
rebase-project-build
|
105 MB |
sha256:0cf6268f29cf4d076c66e7ee847aff4bfcd5c1d86b9005e037dcbad04c984237
|
|