Skip to content

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits … #560

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits …

perf(softmax): scale-aware SatDiff range check — shrink from 32 bits … #560

Triggered via push July 7, 2026 12:54
Status Success
Total duration 15m 54s
Artifacts

rust.yml

on: push
Format check
22s
Format check
GPT-2 Prove & Verify
15m 51s
GPT-2 Prove & Verify
BGE Prove & Verify
7m 16s
BGE Prove & Verify
Build Wasm - atlas-onnx-tracer
26s
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/
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/
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/