Agda proofs

Workflow runs for Agda proofs

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)…

  completed successfully:
  Agda proofs#42:Commitbd3129cpushedbyhyperpolymath
  main

  Oct 19, 20263m 28s
  More actions for workflow run 42

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#41:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 20266m 34s
  More actions for workflow run 41

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#40:Pull request#13synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 19, 202612m 6s
  More actions for workflow run 40

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#39:Pull request#13synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 19, 20268m 17s
  More actions for workflow run 39

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#38:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 202652s
  More actions for workflow run 38

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#37:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 202649s
  More actions for workflow run 37

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs (…

  completed successfully:
  Agda proofs#36:Commitb257919pushedbyhyperpolymath
  main

  Oct 19, 202652s
  More actions for workflow run 36

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#35:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 202651s
  More actions for workflow run 35

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Agda proofs#34:Pull request#13openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 20264m 1s
  More actions for workflow run 34

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs

  completed successfully:
  Agda proofs#33:Pull request#12synchronizebycoderabbitai[bot]Bot
  claude/zealous-wozniak-2nherb

  Oct 19, 202651s
  More actions for workflow run 33

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs

  completed successfully:
  Agda proofs#32:Pull request#12openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 19, 202648s
  More actions for workflow run 32

• docs: an Applications-in-practice section (#11)

  completed successfully:
  Agda proofs#31:Commite948265pushedbyhyperpolymath
  main

  Oct 15, 20261m 30s
  More actions for workflow run 31

• docs: an Applications-in-practice section

  completed successfully:
  Agda proofs#30:Pull request#11synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 202644s
  More actions for workflow run 30

• docs: an Applications-in-practice section

  completed successfully:
  Agda proofs#29:Pull request#11openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 20261m 0s
  More actions for workflow run 29

• fix: restore the template issue references the mint rewrote (#10)

  completed successfully:
  Agda proofs#28:Commitf3b0655pushedbyhyperpolymath
  main

  Oct 14, 202649s
  More actions for workflow run 28

• fix: restore the template issue references the mint rewrote

  completed successfully:
  Agda proofs#27:Pull request#10openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 14, 202652s
  More actions for workflow run 27

• ci: restore the changelog entry #7 dropped; run its two workflow test…

  completed successfully:
  Agda proofs#26:Commitcc2d321pushedbyhyperpolymath
  main

  Oct 14, 202657s
  More actions for workflow run 26

• ci: restore the changelog entry #7 dropped; run its two workflow tests in Estate Rules

  completed successfully:
  Agda proofs#25:Pull request#9openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202643s
  More actions for workflow run 25

• ci: governance pin da2c748 → 934b879; close actions.lock at the new p…

  completed successfully:
  Agda proofs#24:Commit5d8b5c1pushedbyhyperpolymath
  main

  Oct 14, 202648s
  More actions for workflow run 24

• ci: governance pin da2c748 → 934b879; close actions.lock at the new pin

  completed successfully:
  Agda proofs#23:Pull request#7synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 14, 20261m 41s
  More actions for workflow run 23

• ci: governance pin da2c748 → 934b879; close actions.lock at the new pin

  completed successfully:
  Agda proofs#22:Pull request#7synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 14, 202649s
  More actions for workflow run 22

• ci: governance pin da2c748 → 934b879; close actions.lock at the new pin

  completed successfully:
  Agda proofs#21:Pull request#7synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202653s
  More actions for workflow run 21

• fix(ci): clear the two governance checks still red after #6 (#8)

  completed successfully:
  Agda proofs#20:Commitabd40fapushedbyhyperpolymath
  main

  Oct 14, 20261m 8s
  More actions for workflow run 20

• fix(ci): clear the two governance checks still red after #6

  completed successfully:
  Agda proofs#19:Pull request#8openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 14, 202643s
  More actions for workflow run 19

• fix: mint the repo and clear the five red estate checks (stacked on #…

  completed successfully:
  Agda proofs#18:Commit768068fpushedbyhyperpolymath
  main

  Oct 14, 202644s
  More actions for workflow run 18