GitHub Pages (Ddraig SSG)

Workflow runs for GitHub Pages (Ddraig SSG)

• docs(audit): record the 10 November scanner follow-up for #362 (#373)

  completed successfully:
  GitHub Pages (Ddraig SSG)#12:Commit03067a6pushedbyhyperpolymath
  main

  Nov 10, 202658s
  More actions for workflow run 12

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire Echo…

  completed successfully:
  GitHub Pages (Ddraig SSG)#11:Commitb6c8b97pushedbyhyperpolymath
  main

  Nov 10, 202653s
  More actions for workflow run 11

• docs(proofs): correct claims that say more than the Agda states (#369)

  completed successfully:
  GitHub Pages (Ddraig SSG)#10:Commitaed13adpushedbyhyperpolymath
  main

  Nov 10, 202650s
  More actions for workflow run 10

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note (…

  completed successfully:
  GitHub Pages (Ddraig SSG)#9:Commit9b70faapushedbyhyperpolymath
  main

  Nov 9, 20261m 30s
  More actions for workflow run 9

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs,…

  completed successfully:
  GitHub Pages (Ddraig SSG)#8:Commit9abd8a5pushedbyhyperpolymath
  main

  Nov 9, 20263m 10s
  More actions for workflow run 8

• Thermo: faithful Bennett statement on an enumerated fibre (#372)

  completed successfully:
  GitHub Pages (Ddraig SSG)#7:Commite6f65a2pushedbyhyperpolymath
  main

  Nov 9, 20265m 22s
  More actions for workflow run 7

• chore(deps): bump the actions group with 5 updates (#367)

  completed successfully:
  GitHub Pages (Ddraig SSG)#6:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202650s
  More actions for workflow run 6

• Record completed scanner repairs and remaining review configuration (…

  completed successfully:
  GitHub Pages (Ddraig SSG)#5:Commita88bdeepushedbyhyperpolymath
  main

  Nov 7, 202648s
  More actions for workflow run 5

• Prove finite residue bounds and explicit consumption/measurement cont…

  completed successfully:
  GitHub Pages (Ddraig SSG)#4:Commitebde9acpushedbyhyperpolymath
  main

  Nov 6, 20266m 28s
  More actions for workflow run 4

• docs: record the owner's prospective per-file licensing policy (#364)

  completed successfully:
  GitHub Pages (Ddraig SSG)#3:Commitc340735pushedbyhyperpolymath
  main

  Nov 6, 20262m 1s
  More actions for workflow run 3

• GitHub Pages (Ddraig SSG)

  completed successfully:
  GitHub Pages (Ddraig SSG)#2:Manually runbyhyperpolymath
  main

  Nov 6, 20264m 35s
  More actions for workflow run 2

• ci: deploy docs via Ddraig SSG (#293)

  failed:
  GitHub Pages (Ddraig SSG)#1:Commitfacc9bepushedbyhyperpolymath
  main

  Jul 19, 20261h 25m 8s
  More actions for workflow run 1