Skip to content

Merge pull request #194 from wellwei/codex/gmp #680

Merge pull request #194 from wellwei/codex/gmp

Merge pull request #194 from wellwei/codex/gmp #680

Triggered via push August 9, 2026 16:00
Status Success
Total duration 6m 55s
Artifacts 5

validate.yml

on: push
lint
13s
lint
mirror-cn-reachable
6m 50s
mirror-cn-reachable
graphics install: no side effects on unrelated members
2m 43s
graphics install: no side effects on unrelated members
Matrix: workspace
timings
3s
timings
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
select
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
lint
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
workspace (windows default 0/1)
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, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
workspace (linux default 0/1)
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, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
workspace (linux llvm 0/1)
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, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
workspace (macos default 0/1)
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, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
timings
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
graphics install: no side effects on unrelated members
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
mirror-cn-reachable
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
member-timings
412 Bytes
sha256:16d878140ddfa2b983ec154b1e46d969abe51705fb26a863a9003ae735a03916
timings-linux-default-0 Expired
148 Bytes
sha256:34a199501aacd98677dc2519043e3c5881edc0f26241b0dc01ca292cf1fd2ad9
timings-linux-llvm-0 Expired
148 Bytes
sha256:3bc8737aed65b3f8a95724c6b9420c5dfd2f14feda64167c5d62872f25b36a37
timings-macos-default-0 Expired
148 Bytes
sha256:a7573b324bee78acda358010103c8a67c265277142f8f49840b68cc58de903b7
timings-windows-default-0 Expired
147 Bytes
sha256:0191ef2493b3e8fdae74a76dc3e7dd6807c167be01b588b2a7614e6c84382245