Skip to content

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite #1

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite #1

Triggered via push August 13, 2026 00:40
Status Failure
Total duration 44s
Artifacts –

ada-ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
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/
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/
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.733 seconds before retry.
Security Checks
Docker pull failed with exit code 1, back off 6.086 seconds before retry.
Diagnostics
Docker pull failed with exit code 1, back off 4.527 seconds before retry.
Diagnostics
Docker pull failed with exit code 1, back off 6.336 seconds before retry.