Skip to content
Ada/SPARK CI

feat: Add proof needs document, draft SPARK annotations, and Epistemi… #8

Sign in to view logs

feat: Add proof needs document, draft SPARK annotations, and Epistemi…

feat: Add proof needs document, draft SPARK annotations, and Epistemi… #8

Triggered via push August 13, 2026 23:08
@hyperpolymathhyperpolymath
pushed a47f6cc
main
Status Failure
Total duration 30s
Artifacts –

ada-ci.yml

on: push
Build
3s
Build
Zig FFI
3s
Zig FFI
Diagnostics
17s
Diagnostics
Security Checks
9s
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/
Security Checks
Docker pull failed with exit code 1
Diagnostics
Docker pull failed with exit code 1
Security Checks
Docker pull failed with exit code 1, back off 2.237 seconds before retry.
Security Checks
Docker pull failed with exit code 1, back off 1.231 seconds before retry.
Diagnostics
Docker pull failed with exit code 1, back off 7.046 seconds before retry.
Diagnostics
Docker pull failed with exit code 1, back off 4.338 seconds before retry.