Skip to content

feat: native Zig verifier foundation #66

feat: native Zig verifier foundation

feat: native Zig verifier foundation #66

Triggered via pull request April 20, 2026 15:48
Status Failure
Total duration 4m 42s
Artifacts

ci.yml

on: pull_request
Zig Format Check
14s
Zig Format Check
Zig Tests (Linux x86_64)
1m 30s
Zig Tests (Linux x86_64)
Zig Tests (macOS ARM64)
49s
Zig Tests (macOS ARM64)
Zig Release Build
2m 52s
Zig Release Build
Metal Shaders (macOS ARM64)
36s
Metal Shaders (macOS ARM64)
Rust Verifier (build check)
4s
Rust Verifier (build check)
Rust Bench (build check)
38s
Rust Bench (build check)
CLI Smoke Test
2m 29s
CLI Smoke Test
Prove + Verify (Linux x86_64)
4m 26s
Prove + Verify (Linux x86_64)
Prove + Verify (macOS ARM64)
7s
Prove + Verify (macOS ARM64)
Differential Fixture Tests
5s
Differential Fixture Tests
Fixture Freshness Check
41s
Fixture Freshness Check
Extended: Prove sha256_128 (Linux)
0s
Extended: Prove sha256_128 (Linux)
Extended: Prove sha256_128 (macOS ARM64)
0s
Extended: Prove sha256_128 (macOS ARM64)
Arithmetic Benchmarks
1m 32s
Arithmetic Benchmarks
CSP Benchmarks (SHA-256)
0s
CSP Benchmarks (SHA-256)
CI Pass
4s
CI Pass
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 10 warnings
Differential Fixture Tests
Failed to download archive 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' after 1 attempts.
Differential Fixture Tests
An action could not be found at the URI 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' (0841:E3A9A:90FF:AF6C:69E64ABF)
Rust Verifier (build check)
Failed to download archive 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' after 1 attempts.
Rust Verifier (build check)
An action could not be found at the URI 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' (6C00:1475:5F06B0:7B6D8F:69E64ABF)
Prove + Verify (macOS ARM64)
Failed to download archive 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' after 1 attempts.
Prove + Verify (macOS ARM64)
An action could not be found at the URI 'https://api.github.com/repos/dtolnay/rust-toolchain/tarball/29eef336d9b2848a0b548edc03f92a220660cdb8' (8014:1475:5F0768:7B6E6C:69E64AC1)
CI Pass
Process completed with exit code 1.
Zig Format Check
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Rust Bench (build check)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Metal Shaders (macOS ARM64)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Fixture Freshness Check
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Zig Tests (macOS ARM64)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Zig Tests (Linux x86_64)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Arithmetic Benchmarks
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
CLI Smoke Test
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Zig Release Build
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Prove + Verify (Linux x86_64)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, mlugg/setup-zig@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/