Skip to content
Ada/SPARK CI

Align test infrastructure with proven-tests-and-benches standards #7

Sign in to view logs

Align test infrastructure with proven-tests-and-benches standards

Align test infrastructure with proven-tests-and-benches standards #7

Triggered via push August 13, 2026 04:55
@hyperpolymathhyperpolymath
pushed 4c0f9dc
main
Status Failure
Total duration 31s
Artifacts –

ada-ci.yml

on: push
Build
3s
Build
Zig FFI
3s
Zig FFI
Diagnostics
12s
Diagnostics
Security Checks
20s
Security Checks
Test
0s
Test
Notifications
4s
Notifications
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
Build
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
Zig FFI
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
Diagnostics
Docker pull failed with exit code 1
Security Checks
Docker pull failed with exit code 1
Diagnostics
Docker pull failed with exit code 1, back off 4.106 seconds before retry.
Diagnostics
Docker pull failed with exit code 1, back off 1.247 seconds before retry.
Security Checks
Docker pull failed with exit code 1, back off 6.509 seconds before retry.
Security Checks
Docker pull failed with exit code 1, back off 5.29 seconds before retry.