Skip to content

feat: Add saturation to prover #548

feat: Add saturation to prover

feat: Add saturation to prover #548

Triggered via pull request July 6, 2026 08:30
Status Failure
Total duration 13m 36s
Artifacts

rust.yml

on: pull_request
Format check
17s
Format check
GPT-2 Prove & Verify
13m 31s
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

3 errors and 16 warnings
Clippy & Test (zk)
Process completed with exit code 101.
Clippy & Test (zk): jolt-atlas-core/src/onnx_proof/zk.rs#L1007
this function takes 4 arguments but 2 arguments were supplied
GPT-2 Prove & Verify
The operation was canceled.
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
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/
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 (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/