Skip to content

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits to log₂(scale)+4 #544

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits to log₂(scale)+4

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits to log₂(scale)+4 #544

Re-run triggered July 5, 2026 08:19
Status Success
Total duration 10m 19s
Artifacts

rust.yml

on: pull_request
Format check
21s
Format check
GPT-2 Prove & Verify
8m 13s
GPT-2 Prove & Verify
BGE Prove & Verify
7m 17s
BGE Prove & Verify
Build Wasm - atlas-onnx-tracer
28s
Build Wasm - atlas-onnx-tracer
Matrix: clippy-and-test
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
Format check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build Wasm - atlas-onnx-tracer
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build Wasm - atlas-onnx-tracer: atlas-onnx-tracer/src/utils/parallel_utils.rs#L33
missing documentation for an associated type
Build Wasm - atlas-onnx-tracer: atlas-onnx-tracer/src/utils/parallel_utils.rs#L26
missing documentation for an associated type
Build Wasm - atlas-onnx-tracer: atlas-onnx-tracer/src/utils/parallel_utils.rs#L25
missing documentation for an associated type
Build Wasm - atlas-onnx-tracer: atlas-onnx-tracer/src/utils/parallel_utils.rs#L18
missing documentation for an associated type
Build Wasm - atlas-onnx-tracer: atlas-onnx-tracer/src/utils/parallel_utils.rs#L17
missing documentation for an associated type
BGE Prove & Verify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Clippy & Test (zk)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
GPT-2 Prove & Verify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Clippy & Test (default)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/