Ada/SPARK CI

Workflow runs for Ada/SPARK CI

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#27:Scheduled
  main

  Oct 25, 202628s
  More actions for workflow run 27

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#26:Scheduled
  main

  Oct 18, 202628s
  More actions for workflow run 26

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#25:Scheduled
  main

  Oct 11, 202627s
  More actions for workflow run 25

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#24:Scheduled
  main

  Oct 4, 202629s
  More actions for workflow run 24

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#23:Scheduled
  main

  Sep 27, 202624s
  More actions for workflow run 23

• refactor: rename Hexadeca → unified-api-adapter (estate-wide) (#12)

  failed:
  Ada/SPARK CI#22:Commite68b5a1pushedbyhyperpolymath
  main

  Sep 21, 20261h 18m 44s
  More actions for workflow run 22

• refactor: rename Hexadeca → unified-api-adapter (estate-wide)

  failed:
  Ada/SPARK CI#21:Pull request#12openedbyhyperpolymath
  refactor/unified-api-adapter

  Sep 21, 20261h 18m 38s
  More actions for workflow run 21

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  failed:
  Ada/SPARK CI#20:Commitea57ab2pushedbyhyperpolymath
  main

  Sep 20, 202657m 0s
  More actions for workflow run 20

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  failed:
  Ada/SPARK CI#19:Pull request#10openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 20261h 12m 56s
  More actions for workflow run 19

• Ada/SPARK CI

  failed at startup:
  Ada/SPARK CI#18:Scheduled
  main

  Sep 20, 2026Startup failure
  More actions for workflow run 18

• fix(ci): pin third-party actions to full commit SHAs (#9)

  failed at startup:
  Ada/SPARK CI#17:Commitea72950pushedbyhyperpolymath
  main

  Sep 19, 2026Startup failure
  More actions for workflow run 17

• Ada/SPARK CI

  failed at startup:
  Ada/SPARK CI#16:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 16

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#15:Scheduled
  main

  Sep 13, 202633s
  More actions for workflow run 15

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#14:Scheduled
  main

  Sep 6, 202632s
  More actions for workflow run 14

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#13:Scheduled
  main

  Aug 30, 202624s
  More actions for workflow run 13

• fix(ci): unbreak workflow YAML and add a complete actions.lock (#4)

  failed:
  Ada/SPARK CI#12:Commit7bfb0f1pushedbyhyperpolymath
  main

  Aug 27, 20261m 13s
  More actions for workflow run 12

• fix(ci): unbreak workflow YAML and add a complete actions.lock

  failed:
  Ada/SPARK CI#11:Pull request#4openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 20261m 0s
  More actions for workflow run 11

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#10:Scheduled
  main

  Aug 23, 202624s
  More actions for workflow run 10

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#9:Scheduled
  main

  Aug 16, 202627s
  More actions for workflow run 9

• feat: Add proof needs document, draft SPARK annotations, and Epistemi…

  failed:
  Ada/SPARK CI#8:Commita47f6ccpushedbyhyperpolymath
  main

  Aug 13, 202630s
  More actions for workflow run 8

• Align test infrastructure with proven-tests-and-benches standards

  failed:
  Ada/SPARK CI#7:Commit4c0f9dcpushedbyhyperpolymath
  main

  Aug 13, 202631s
  More actions for workflow run 7

• A: Add cryptography implementation with Zig FFI

  failed:
  Ada/SPARK CI#6:Commit1b1aa5dpushedbyhyperpolymath
  main

  Aug 13, 202630s
  More actions for workflow run 6

• Connect platform implementations to real Zig FFI calls

  failed:
  Ada/SPARK CI#5:Commitb73ad4apushedbyhyperpolymath
  main

  Aug 13, 202640s
  More actions for workflow run 5

• Step 4.1: Complete platform implementations with actual functionality

  failed:
  Ada/SPARK CI#4:Commit11034f1pushedbyhyperpolymath
  main

  Aug 13, 20262m 19s
  More actions for workflow run 4

• Step 3: Complete functional ADI TUI with platform integration

  failed:
  Ada/SPARK CI#3:Commit744242epushedbyhyperpolymath
  main

  Aug 13, 202646s
  More actions for workflow run 3