All workflows

Workflow runs

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  CodeQL Security Analysis#441:Pull request#370openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202631m 49s
  More actions for workflow run 441

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Agda#1058:Pull request#370openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202638m 50s
  More actions for workflow run 1058

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Metadata contracts#26:Pull request#370openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202628m 17s
  More actions for workflow run 26

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

  completed successfully:
  Governance#718:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202633m 35s
  More actions for workflow run 718

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

  completed successfully:
  Secret Scanner#419:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202615m 4s
  More actions for workflow run 419

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

  completed successfully:
  Hypatia Security Scan#755:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202631m 32s
  More actions for workflow run 755

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

  completed successfully:
  Metadata contracts#25:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202611m 46s
  More actions for workflow run 25

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

  completed successfully:
  CodeQL Security Analysis#440:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202617m 34s
  More actions for workflow run 440

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

  completed successfully:
  Agda#1057:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202622m 34s
  More actions for workflow run 1057

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

  completed successfully:
  Secret Scanner#418:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202612m 53s
  More actions for workflow run 418

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

  completed successfully:
  Governance#717:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202629m 18s
  More actions for workflow run 717

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

  completed successfully:
  Hypatia Security Scan#754:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202632m 41s
  More actions for workflow run 754

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

  completed successfully:
  CodeQL Security Analysis#439:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202614m 33s
  More actions for workflow run 439

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

  completed successfully:
  Agda#1056:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202620m 14s
  More actions for workflow run 1056

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

  completed successfully:
  Metadata contracts#24:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202613m 12s
  More actions for workflow run 24

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#438:Scheduled
  main

  Nov 9, 20261m 22s
  More actions for workflow run 438

• Scorecards supply-chain security

  completed successfully:
  Scorecards supply-chain security#426:Scheduled
  main

  Nov 9, 202652s
  More actions for workflow run 426

• Hypatia Security Scan

  completed successfully:
  Hypatia Security Scan#753:Scheduled
  main

  Nov 8, 20263m 1s
  More actions for workflow run 753

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

  completed successfully:
  Governance#716:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202619s
  More actions for workflow run 716

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

  completed successfully:
  Secret Scanner#417:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202612s
  More actions for workflow run 417

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

  completed successfully:
  Hypatia Security Scan#752:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 20262m 30s
  More actions for workflow run 752

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

  completed successfully:
  Mirror to Git Forges#453:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202610s
  More actions for workflow run 453

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

  completed successfully:
  CodeQL Security Analysis#437:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 20261m 4s
  More actions for workflow run 437

• 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

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

  completed successfully:
  Agda#1055:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202610m 39s
  More actions for workflow run 1055