Agda proofs

Workflow runs for Agda proofs

• chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…

  completed successfully:
  Agda proofs#27:Commit10f0bc2pushedbyhyperpolymath
  main

  Oct 22, 20261m 15s
  More actions for workflow run 27

• chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabble from b34cd53f9157d1b8a4f9c5c8d843846557f8622c to 14f853fde902ab2d7631070d87a9dc9122e01013 in the actions group

  completed successfully:
  Agda proofs#26:Pull request#160openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b4ad119a1

  Oct 22, 202638s
  More actions for workflow run 26

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lo…

  completed successfully:
  Agda proofs#25:Commit45ae207pushedbyhyperpolymath
  main

  Oct 20, 202617m 15s
  More actions for workflow run 25

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  completed successfully:
  Agda proofs#24:Pull request#159synchronizebyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 20, 202614m 14s
  More actions for workflow run 24

• ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack…

  completed successfully:
  Agda proofs#23:Commitd6d3d78pushedbyhyperpolymath
  main

  Oct 20, 202610m 0s
  More actions for workflow run 23

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  completed successfully:
  Agda proofs#22:Pull request#159synchronizebyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 19, 202638s
  More actions for workflow run 22

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  completed successfully:
  Agda proofs#21:Pull request#159openedbyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 19, 202655s
  More actions for workflow run 21

• ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack's registry

  completed successfully:
  Agda proofs#20:Pull request#158openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 19, 202612m 43s
  More actions for workflow run 20

• ci(pages): give the cold casket-ssg build room to finish (15 → 60 min…

  completed successfully:
  Agda proofs#19:Commit69de917pushedbyhyperpolymath
  main

  Oct 14, 202636s
  More actions for workflow run 19

• ci(pages): give the cold casket-ssg build room to finish (15 → 60 min)

  completed successfully:
  Agda proofs#18:Pull request#157openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202642s
  More actions for workflow run 18

• ci: estate workflow set — fix the always-red checks, retire folded wo…

  completed successfully:
  Agda proofs#17:Commit4b50367pushedbyhyperpolymath
  main

  Oct 14, 202640s
  More actions for workflow run 17

• ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler

  completed successfully:
  Agda proofs#16:Pull request#156synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202635s
  More actions for workflow run 16

• ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler

  completed successfully:
  Agda proofs#15:Pull request#156openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202640s
  More actions for workflow run 15

• chore(abi): remove the idrisiser tree (owner decision; it never typec…

  completed successfully:
  Agda proofs#14:Commit9c20604pushedbyhyperpolymath
  main

  Oct 14, 202644s
  More actions for workflow run 14

• chore(abi): remove the idrisiser tree (owner decision; it never typechecked)

  completed successfully:
  Agda proofs#13:Pull request#154openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202643s
  More actions for workflow run 13

• fix: CodeRabbit auto-fixes for PR #149 (#153)

  completed successfully:
  Agda proofs#12:Commit8098b02pushedbyhyperpolymath
  main

  Oct 14, 202637s
  More actions for workflow run 12

• fix: CodeRabbit auto-fixes for PR #149

  completed successfully:
  Agda proofs#11:Pull request#153synchronizebyhyperpolymath
  coderabbitai/autofix/bf54181

  Oct 14, 202647s
  More actions for workflow run 11

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149…

  completed successfully:
  Agda proofs#10:Commited8268epushedbyhyperpolymath
  main

  Oct 14, 202636s
  More actions for workflow run 10

• fix: CodeRabbit auto-fixes for PR #149

  completed successfully:
  Agda proofs#9:Pull request#153openedbycoderabbitai[bot]Bot
  coderabbitai/autofix/bf54181

  Oct 14, 202635s
  More actions for workflow run 9

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)

  completed successfully:
  Agda proofs#8:Pull request#152synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202634s
  More actions for workflow run 8

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)

  completed successfully:
  Agda proofs#7:Pull request#152openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202641s
  More actions for workflow run 7

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinn…

  completed successfully:
  Agda proofs#6:Commitbf54181pushedbyhyperpolymath
  main

  Oct 13, 20261m 10s
  More actions for workflow run 6

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)

  completed successfully:
  Agda proofs#5:Pull request#150synchronizebyhyperpolymath
  proofs/reversibility-grade

  Oct 13, 202643s
  More actions for workflow run 5

• fix(abi): real jk_* FFI, ABI typechecks under Idris2 0.8.0, gates and claims ledger (JNK-01, C of 3)

  completed successfully:
  Agda proofs#4:Pull request#151synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 13, 202635s
  More actions for workflow run 4

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)

  completed successfully:
  Agda proofs#3:Pull request#150synchronizebyhyperpolymath
  proofs/reversibility-grade

  Oct 13, 202652s
  More actions for workflow run 3