Ada (GNAT)

Workflow runs for Ada (GNAT)

• chore(contractiles): add bust/ + relocate k9 to svc/ (#27)

  failed:
  Ada (GNAT)#156:Commit821c16bpushedbyhyperpolymath
  main

  Apr 19, 20263m 29s
  More actions for workflow run 156

• chore(contractiles): add bust/ + relocate k9 to svc/

  failed:
  Ada (GNAT)#155:Pull request#27synchronizebyhyperpolymath
  chore/cicd-optimizations

  Apr 19, 20266m 37s
  More actions for workflow run 155

• chore(contractiles): add bust/ + relocate k9 to svc/

  failed:
  Ada (GNAT)#154:Pull request#27openedbyhyperpolymath
  chore/cicd-optimizations

  Apr 19, 20262m 34s
  More actions for workflow run 154

• build: fill Justfile stubs with real gprbuild commands

  failed:
  Ada (GNAT)#153:Commite758a64pushedbyhyperpolymath
  main

  Apr 18, 20265h 16m 14s
  More actions for workflow run 153

• chore(contractiles): add bust/ + relocate k9 to svc/

  failed:
  Ada (GNAT)#152:Commitd1a3001pushedbyhyperpolymath
  main

  Apr 18, 20265h 48m 48s
  More actions for workflow run 152

• Force merge branch chore/cicd-optimizations

  failed:
  Ada (GNAT)#151:Commit0d8934fpushedbyhyperpolymath
  main

  Apr 18, 20264h 34m 32s
  More actions for workflow run 151

• docs(governance): CRG v2.0 STRICT audit — C (declared) -> E (honest)

  failed:
  Ada (GNAT)#150:Commitf67b932pushedbyhyperpolymath
  main

  Apr 18, 202650s
  More actions for workflow run 150

• ci: restore Dependabot security path + wire auto-merge + hypatia-scan

  failed:
  Ada (GNAT)#149:Commit2e4037fpushedbyhyperpolymath
  main

  Apr 17, 202626s
  More actions for workflow run 149

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  failed:
  Ada (GNAT)#148:Commitc245a6cpushedbyhyperpolymath
  main

  Apr 17, 20262h 2m 39s
  More actions for workflow run 148

• Chore/cicd optimizations (#26)

  failed:
  Ada (GNAT)#147:Commit89ed5b6pushedbyhyperpolymath
  main

  Apr 17, 202632s
  More actions for workflow run 147

• Chore/cicd optimizations

  failed:
  Ada (GNAT)#146:Pull request#26synchronizebyhyperpolymath
  chore/cicd-optimizations

  Apr 17, 202633s
  More actions for workflow run 146

• Chore/cicd optimizations

  failed:
  Ada (GNAT)#145:Pull request#26synchronizebyhyperpolymath
  chore/cicd-optimizations

  Apr 17, 202624s
  More actions for workflow run 145

• Chore/cicd optimizations

  failed:
  Ada (GNAT)#144:Pull request#26synchronizebyhyperpolymath
  chore/cicd-optimizations

  Apr 17, 202627s
  More actions for workflow run 144

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  failed:
  Ada (GNAT)#143:Commitb3e7610pushedbyhyperpolymath
  main

  Apr 15, 202611m 34s
  More actions for workflow run 143

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  failed:
  Ada (GNAT)#142:Commit19f4c84pushedbyhyperpolymath
  main

  Apr 11, 202659m 33s
  More actions for workflow run 142

• feat(crg): add crg-grade and crg-badge justfile recipes

  failed:
  Ada (GNAT)#141:Commitcaa0fa1pushedbyhyperpolymath
  main

  Apr 4, 20265h 56m 51s
  More actions for workflow run 141

• feat: add k9iser.toml and generate K9 contracts

  failed:
  Ada (GNAT)#140:Commit908142apushedbyhyperpolymath
  main

  Apr 4, 20262h 21m 14s
  More actions for workflow run 140

• ci: deploy dogfood-gate, add Groove manifest and CRG tests

  failed:
  Ada (GNAT)#139:Commit1618c36pushedbyhyperpolymath
  main

  Apr 4, 20262h 4m 38s
  More actions for workflow run 139

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  failed:
  Ada (GNAT)#138:Commit467f890pushedbyhyperpolymath
  main

  Apr 4, 202627m 36s
  More actions for workflow run 138

• Update STATE.a2ml: mark modshells as CRG C complete with test coverag…

  failed:
  Ada (GNAT)#137:Commitcce2320pushedbyhyperpolymath
  main

  Apr 4, 202635s
  More actions for workflow run 137

• CRG blitz D→C: comprehensive test coverage for modshells

  failed:
  Ada (GNAT)#136:Commitdbb8ab1pushedbyhyperpolymath
  main

  Apr 4, 202624s
  More actions for workflow run 136

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

  failed:
  Ada (GNAT)#135:Commita600af2pushedbyhyperpolymath
  main

  Apr 3, 20263m 0s
  More actions for workflow run 135

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

  failed:
  Ada (GNAT)#134:Pull request#25synchronizebyhyperpolymath
  dependabot/github_actions/actions-1a9f155adc

  Apr 3, 202644s
  More actions for workflow run 134

• Add casket pages workflow

  failed:
  Ada (GNAT)#133:Commita808061pushedbyhyperpolymath
  main

  Apr 2, 202645m 50s
  More actions for workflow run 133

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

  failed:
  Ada (GNAT)#132:Commitdc4ec53pushedbyhyperpolymath
  main

  Mar 30, 20266m 56s
  More actions for workflow run 132