Ada (GNAT)

docs(proof): modshells SPARK no-op exemption (reconcile stale audit) #201

Sign in to view logs

Triggered via pull request May 19, 2026 12:49

opened #49

docs/spark-noop-exemption

Status Failure

Total duration 1h 31m 14s

Artifacts –

ada.yml

on: pull_request

Annotations

1 error

Process completed with exit code 7.