Ada (GNAT)

Workflow runs for Ada (GNAT)

• licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)

  failed:
  Ada (GNAT)#206:Pull request#51openedbyhyperpolymath
  licence-debt/07-pmpl-suffix

  May 19, 202623m 40s
  More actions for workflow run 206

• ci(spark): adopt estate SPARK Theatre Gate (#135) (#50)

  failed:
  Ada (GNAT)#205:Commit9080e60pushedbyhyperpolymath
  main

  May 19, 202614m 3s
  More actions for workflow run 205

• ci(spark): adopt estate SPARK Theatre Gate (#135)

  failed:
  Ada (GNAT)#204:Pull request#50openedbyhyperpolymath
  ci/adopt-spark-theatre-gate

  May 19, 20265m 20s
  More actions for workflow run 204

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit) …

  failed:
  Ada (GNAT)#203:Commitba9b072pushedbyhyperpolymath
  main

  May 19, 20263m 29s
  More actions for workflow run 203

• chore(deps): Bump the actions group across 1 directory with 3 updates

  failed:
  Ada (GNAT)#202:Pull request#47synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 19, 202630m 28s
  More actions for workflow run 202

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

  failed:
  Ada (GNAT)#201:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 31m 14s
  More actions for workflow run 201

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  failed:
  Ada (GNAT)#200:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 9m 44s
  More actions for workflow run 200

• harden(ci): concurrency-cancel guard on canonical check workflows

  failed:
  Ada (GNAT)#199:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 2m 33s
  More actions for workflow run 199

• chore(deps): Bump the actions group across 1 directory with 3 updates

  failed:
  Ada (GNAT)#198:Pull request#47openedbydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 18, 20265h 27m 41s
  More actions for workflow run 198

• fix(ci): sync hypatia-scan.yml to canonical (#46)

  failed:
  Ada (GNAT)#197:Commit4b8eebbpushedbyhyperpolymath
  main

  May 17, 202622h 37m 30s
  More actions for workflow run 197

• fix(ci): sync hypatia-scan.yml to canonical

  failed:
  Ada (GNAT)#196:Pull request#46openedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 17, 202622h 33m 28s
  More actions for workflow run 196

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59…

  failed:
  Ada (GNAT)#195:Commit36c5059pushedbyhyperpolymath
  main

  May 17, 20268h 16m 48s
  More actions for workflow run 195

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59)

  failed:
  Ada (GNAT)#194:Pull request#45openedbyhyperpolymath
  chore/governance-wrapper-59

  May 17, 202622s
  More actions for workflow run 194

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith…

  failed:
  Ada (GNAT)#193:Commitfa390dapushedbyhyperpolymath
  main

  May 17, 20261m 45s
  More actions for workflow run 193

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  failed:
  Ada (GNAT)#192:Pull request#44synchronizebyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202621s
  More actions for workflow run 192

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  failed:
  Ada (GNAT)#191:Pull request#44openedbyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202623s
  More actions for workflow run 191

• chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43)

  failed:
  Ada (GNAT)#190:Commit3eae06epushedbyhyperpolymath
  main

  May 16, 20269m 48s
  More actions for workflow run 190

• chore: Item 9 — retire ReScript guidance → AffineScript (#42)

  failed:
  Ada (GNAT)#189:Commit65986aapushedbyhyperpolymath
  main

  May 16, 20268m 33s
  More actions for workflow run 189

• chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal

  failed:
  Ada (GNAT)#188:Pull request#43openedbyhyperpolymath
  chore/item10-state-scm-to-a2ml-v2

  May 16, 202624s
  More actions for workflow run 188

• chore: Item 9 — retire ReScript guidance → AffineScript

  failed:
  Ada (GNAT)#187:Pull request#42openedbyhyperpolymath
  chore/item9-rescript-to-affinescript-guidance

  May 16, 20264m 18s
  More actions for workflow run 187

• fix(ci): point CodeQL at actions so SAST runs every commit (#72) (#41)

  failed:
  Ada (GNAT)#186:Commit2062d72pushedbyhyperpolymath
  main

  May 16, 202642m 23s
  More actions for workflow run 186

• fix(ci): point CodeQL at actions so SAST runs every commit (#72)

  failed:
  Ada (GNAT)#185:Pull request#41openedbyhyperpolymath
  fix/scorecard-sast-codeql-matrix-modshells-40

  May 16, 202650m 6s
  More actions for workflow run 185

• chore(deps): Bump the actions group with 6 updates (#38)

  failed:
  Ada (GNAT)#184:Commite4b5758pushedbyhyperpolymath
  main

  May 16, 20261h 7m 7s
  More actions for workflow run 184

• chore(deps): Bump the actions group with 6 updates

  failed:
  Ada (GNAT)#183:Pull request#38synchronizebyhyperpolymath
  dependabot/github_actions/actions-4095b36d50

  May 16, 20261h 6m 41s
  More actions for workflow run 183

• fix(ci): adopt canonical hypatia-scan.yml (#39)

  failed:
  Ada (GNAT)#182:Commit07e20dcpushedbyhyperpolymath
  main

  May 16, 20261h 12m 16s
  More actions for workflow run 182