Skip to content

feat: correctly-rounded Sum for FBig; add Sum/Product for CBig #33

feat: correctly-rounded Sum for FBig; add Sum/Product for CBig

feat: correctly-rounded Sum for FBig; add Sum/Product for CBig #33

Triggered via push July 7, 2026 09:04
Status Success
Total duration 3m 7s
Artifacts

build.yml

on: push
Matrix: Check
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
Check (1.68)
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/
Check (1.68)
The process '/usr/bin/git' failed with exit code 128
Build aarch64
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/
Build aarch64
The process '/usr/bin/git' failed with exit code 128
Check (stable)
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/
Check (stable)
The process '/usr/bin/git' failed with exit code 128
cargo doc
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/
cargo doc
The process '/usr/bin/git' failed with exit code 128
Check (1.85)
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/
Check (1.85)
The process '/usr/bin/git' failed with exit code 128
Build benchmark
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/
Build benchmark
The process '/usr/bin/git' failed with exit code 128
cargo check fuzz
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/
cargo check fuzz
The process '/usr/bin/git' failed with exit code 128