GitHub Pages (Ddraig SSG)

Workflow runs for GitHub Pages (Ddraig SSG)

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (sta…

  completed successfully:
  GitHub Pages (Ddraig SSG)#107:Commit916b769pushedbyhyperpolymath
  main

  Oct 27, 20261m 1s
  More actions for workflow run 107

• fix(corpus): the octad test's SCHEME path broke cargo check on main…

  completed successfully:
  GitHub Pages (Ddraig SSG)#106:Commitc03386bpushedbyhyperpolymath
  main

  Oct 22, 20262m 27s
  More actions for workflow run 106

• corpus: structural cross-prover identity keys + 256-dim structural em…

  completed successfully:
  GitHub Pages (Ddraig SSG)#105:Commite8e93f5pushedbyhyperpolymath
  main

  Oct 22, 20262m 7s
  More actions for workflow run 105

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vo…

  completed successfully:
  GitHub Pages (Ddraig SSG)#104:Commit852a374pushedbyhyperpolymath
  main

  Oct 22, 20263m 6s
  More actions for workflow run 104

• ci(scratch): point the one-off lock regeneration at rsr-template-repo…

  completed successfully:
  GitHub Pages (Ddraig SSG)#103:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20261m 53s
  More actions for workflow run 103

• ci(agda): pin the Agda proofs job to ubuntu-24.04 (#445)

  completed successfully:
  GitHub Pages (Ddraig SSG)#102:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 202644m 50s
  More actions for workflow run 102

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns …

  cancelled:
  GitHub Pages (Ddraig SSG)#101:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202639s
  More actions for workflow run 101

• chore(ci): remove the one-off lock-regeneration workflow merged by #4…

  cancelled:
  GitHub Pages (Ddraig SSG)#100:Commit1b04deepushedbyhyperpolymath
  main

  Oct 20, 20262m 59s
  More actions for workflow run 100

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving …

  completed successfully:
  GitHub Pages (Ddraig SSG)#99:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202628m 49s
  More actions for workflow run 99

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR,…

  completed successfully:
  GitHub Pages (Ddraig SSG)#98:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20263m 37s
  More actions for workflow run 98

• fix(rest): serve API docs with ReDoc so zip leaves the tree (#440)

  completed successfully:
  GitHub Pages (Ddraig SSG)#97:Commitd8a0185pushedbyhyperpolymath
  main

  Oct 19, 20264m 38s
  More actions for workflow run 97

• Claude/new session th4e9w lockregen (#441)

  completed successfully:
  GitHub Pages (Ddraig SSG)#96:Commit0d0aa0cpushedbyhyperpolymath
  main

  Oct 19, 20261m 7s
  More actions for workflow run 96

• fix(ci): re-pin standards reusables and repair actions.lock (#439)

  completed successfully:
  GitHub Pages (Ddraig SSG)#95:Commited6ef60pushedbyhyperpolymath
  main

  Oct 19, 202621m 32s
  More actions for workflow run 95

• chore(deps): bump the actions group with 3 updates (#438)

  completed successfully:
  GitHub Pages (Ddraig SSG)#94:Commit5fba2bfpushedbyhyperpolymath
  main

  Oct 16, 20261m 15s
  More actions for workflow run 94

• fix(ci): read workflows as KYAML as well as block YAML (S4 prerequisi…

  completed successfully:
  GitHub Pages (Ddraig SSG)#93:Commit3438e54pushedbyhyperpolymath
  main

  Oct 14, 20261m 54s
  More actions for workflow run 93

• fix(ci): defer actions.lock verification to governance in the workflo…

  completed successfully:
  GitHub Pages (Ddraig SSG)#92:Commit5583c70pushedbyhyperpolymath
  main

  Oct 14, 20265m 54s
  More actions for workflow run 92

• chore(hypatia): delete dead ci-templates/mirror.yml, qualify echidnab…

  completed successfully:
  GitHub Pages (Ddraig SSG)#91:Commit4ff121apushedbyhyperpolymath
  main

  Oct 14, 202657s
  More actions for workflow run 91

• fix(deps): bump quinn-proto 0.11.15 → 0.11.19 (RUSTSEC-2026-0338..034…

  completed successfully:
  GitHub Pages (Ddraig SSG)#90:Commitb6ff97epushedbyhyperpolymath
  main

  Oct 14, 20265m 25s
  More actions for workflow run 90

• feat(arbitration): ECH-05 fidelity evidence and belief/epi/sound verd…

  completed successfully:
  GitHub Pages (Ddraig SSG)#89:Commit6883126pushedbyhyperpolymath
  main

  Oct 14, 20263m 37s
  More actions for workflow run 89

• Arena/16d27c7e echidna (#428)

  completed successfully:
  GitHub Pages (Ddraig SSG)#88:Commit29b18eapushedbyhyperpolymath
  main

  Oct 9, 20261m 21s
  More actions for workflow run 88

• Arena/9aef7602 echidna (#427)

  completed successfully:
  GitHub Pages (Ddraig SSG)#87:Commit2a218acpushedbyhyperpolymath
  main

  Oct 9, 20261m 32s
  More actions for workflow run 87

• Update README.adoc

  completed successfully:
  GitHub Pages (Ddraig SSG)#86:Commitf9ba64epushedbyhyperpolymath
  main

  Oct 9, 202655s
  More actions for workflow run 86

• Merge arena/16d27c7e-echidna: ParadisEO roadmap and issue specs (#426)

  completed successfully:
  GitHub Pages (Ddraig SSG)#85:Commita22bb5dpushedbyhyperpolymath
  main

  Oct 9, 20262m 3s
  More actions for workflow run 85

• ci: CI checkers in bash+jq (estate bans Python; fixes banned-language…

  completed successfully:
  GitHub Pages (Ddraig SSG)#84:Commit9c9c2e2pushedbyhyperpolymath
  main

  Oct 9, 20261m 21s
  More actions for workflow run 84

• fix(tests): rustfmt layout for corpus_cli_dispatch (rust-ci fmt red o…

  completed successfully:
  GitHub Pages (Ddraig SSG)#83:Commitf6ce4c9pushedbyhyperpolymath
  main

  Oct 9, 202652s
  More actions for workflow run 83