docs: add Signed commits section to CONTRIBUTING #332
ci.yml
on: pull_request
Julia nightly - ubuntu
1m 39s
Zig Backend
33s
CPU vs Zig parity + accelerated smoke
2m 19s
Interop smoke (PyTorch import + ONNX export)
41s
Roadmap could-baselines (packaging + optimization + telemetry)
2m 31s
Coprocessor strategy, resilience, and TPU/NPU/DSP/MATH strict tests
3m 26s
GPU hardware smoke (CUDA)
0s
GPU hardware smoke (ROCm)
0s
GPU hardware smoke (Metal)
0s
Runtime smoke (CPU)
1m 0s
Certificate integrity checks
1m 4s
Proof assistant bundle checks
51s
Idris2 ABI typecheck
29s
SMT proofs (Z3)
49s
Documentation sanity
3s
Security Audit
0s
Matrix: gpu-fallback
Matrix: julia-compat
Annotations
1 error, 6 warnings, and 18 notices
|
Julia nightly - ubuntu
Process completed with exit code 1.
|
|
Zig Backend
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: goto-bus-stop/setup-zig@abea47f85e598557f500fa1fd2ab7464fcb39406. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Zig Backend
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>078++agAAAAA2NR9uHNvyQYWse+FaJUN/UEhMMzBFREdFMDIxNQBFZGdl
|
|
Zig Backend
Failed to restore: Cache service responded with 400
|
|
CPU vs Zig parity + accelerated smoke
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: goto-bus-stop/setup-zig@abea47f85e598557f500fa1fd2ab7464fcb39406. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CPU vs Zig parity + accelerated smoke
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>09M++agAAAAAVq+bBeqGvRLB8TTA/CguIUEhYMzFFREdFMDUwNwBFZGdl
|
|
CPU vs Zig parity + accelerated smoke
Failed to restore: Cache service responded with 400
|
|
GPU fallback tests - macos-latest
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.
|
|
Interop smoke (PyTorch import + ONNX export)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Certificate integrity checks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
GPU fallback tests - ubuntu-latest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Julia nightly - ubuntu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Documentation sanity
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
SMT proofs (Z3)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Zig Backend
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Idris2 ABI typecheck
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Proof assistant bundle checks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Runtime smoke (CPU)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Julia 1.10 - macos-latest
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.
|
|
CPU vs Zig parity + accelerated smoke
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Roadmap could-baselines (packaging + optimization + telemetry)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Coprocessor strategy, resilience, and TPU/NPU/DSP/MATH strict tests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Julia 1.10 - ubuntu-latest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Julia 1.11 - macos-latest
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.
|
|
Julia 1.11 - ubuntu-latest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coprocessor-evidence
|
885 Bytes |
sha256:847c035b86bacc05a52dd7a7f6d460678ecef29ecb2a3b4fad1dd8f02e7facc5
|
|
|
coprocessor-resilience-evidence
|
1.02 KB |
sha256:ffccf59885b75d75459873126938e10511a57964cd4fdf1fce35fd4ce6908f4a
|
|
|
dsp-strict-evidence
|
1.04 KB |
sha256:94e288ed1aa12b6d7092265c06c255367f858230079b73e4799087371e8e9962
|
|
|
gpu-performance-evidence-macos-latest
|
1.06 KB |
sha256:b5d8ffbfc012ae5832edb47c0edb0cb23b0a04b7a8f16cf65bcd3b9002ac971d
|
|
|
gpu-performance-evidence-ubuntu-latest
|
1.07 KB |
sha256:b98a527d4d506e882d2ef395f2381595a838e108889814b3186e22c06b09452d
|
|
|
math-strict-evidence
|
1.04 KB |
sha256:acadf33e158c4ee88065c2255e9c725ec33d54b2cbc8f327664b29b549251c6e
|
|
|
model-package-evidence
|
3.2 KB |
sha256:bd3c140cc3d45963f0722fbc15619037da0a5ef56ae9f3463bb66d0ac699e6dd
|
|
|
npu-strict-evidence
|
1.03 KB |
sha256:2b95839bbb401ba60ddb35c7e9af8a06fd708d94a815fe9958bcca65a7528267
|
|
|
optimization-evidence
|
458 Bytes |
sha256:61a7cc7b4f020967ec58ca810f005366e960758e10404aeba8433308adbb86f5
|
|
|
proof-bundle-evidence
|
656 Bytes |
sha256:6c1659818e72f60576fd5c97f4e88515947a6b79332e8246f7a9639841c68284
|
|
|
tpu-strict-evidence
|
1.03 KB |
sha256:9656601acaeeab46d2a04cc3c9e1463d9be8a24817370664a6bae88a2b98c6f2
|
|
|
verification-telemetry-evidence
|
726 Bytes |
sha256:69fe286e76764faa0d83dcf9cffb233cfd4cecda38db107115cb51154779f0eb
|
|