Skip to content

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

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 #559

Triggered via pull request July 7, 2026 08:48
@pdezkpdezk
synchronize #258
pdezk:pr-a5
Status Success
Total duration 16m 47s
Artifacts

rust.yml

on: pull_request
Format check
18s
Format check
GPT-2 Prove & Verify
16m 44s
GPT-2 Prove & Verify
BGE Prove & Verify
8m 27s
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/
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/