Ada (GNAT)

docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit #132

Sign in to view logs

Triggered via push March 30, 2026 12:25

main

Status Failure

Total duration 6m 56s

Artifacts –

ada.yml

on: push

Annotations

1 error

Process completed with exit code 7.