Server Boot Gate

Workflow runs for Server Boot Gate

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

  completed successfully:
  Server Boot Gate#467:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20261m 7s
  More actions for workflow run 467

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

  completed successfully:
  Server Boot Gate#466:Pull request#447synchronizebycoderabbitai[bot]Bot
  claude/new-session-th4e9w-lockregen

  Oct 20, 20261m 32s
  More actions for workflow run 466

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

  completed successfully:
  Server Boot Gate#465:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 202621m 21s
  More actions for workflow run 465

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

  completed successfully:
  Server Boot Gate#464:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202619m 36s
  More actions for workflow run 464

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

  cancelled:
  Server Boot Gate#463:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202640s
  More actions for workflow run 463

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

  cancelled:
  Server Boot Gate#462:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20262m 25s
  More actions for workflow run 462

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#461:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202616m 22s
  More actions for workflow run 461

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

  cancelled:
  Server Boot Gate#460:Commit1b04deepushedbyhyperpolymath
  main

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

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

  cancelled:
  Server Boot Gate#459:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202610m 28s
  More actions for workflow run 459

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  cancelled:
  Server Boot Gate#458:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202610m 34s
  More actions for workflow run 458

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

  completed successfully:
  Server Boot Gate#457:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 202616m 31s
  More actions for workflow run 457

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

  completed successfully:
  Server Boot Gate#456:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202614m 22s
  More actions for workflow run 456

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

  cancelled:
  Server Boot Gate#455:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 20262m 26s
  More actions for workflow run 455

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving stale reusable pins upstream

  completed successfully:
  Server Boot Gate#454:Pull request#446openedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20266m 37s
  More actions for workflow run 454

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#453:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20263m 0s
  More actions for workflow run 453

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

  completed successfully:
  Server Boot Gate#452:Pull request#445openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20261m 38s
  More actions for workflow run 452

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#451:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20261m 27s
  More actions for workflow run 451

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#450:Pull request#444synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 20, 20261m 32s
  More actions for workflow run 450

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#449:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20261m 38s
  More actions for workflow run 449

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Server Boot Gate#448:Pull request#444openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20261m 47s
  More actions for workflow run 448

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

  completed successfully:
  Server Boot Gate#447:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20263m 54s
  More actions for workflow run 447

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

  completed successfully:
  Server Boot Gate#446:Commitd8a0185pushedbyhyperpolymath
  main

  Oct 19, 20262m 32s
  More actions for workflow run 446

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

  completed successfully:
  Server Boot Gate#445:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 19, 20269m 55s
  More actions for workflow run 445

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR, with the false-friend census script

  completed successfully:
  Server Boot Gate#444:Pull request#443synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20266m 53s
  More actions for workflow run 444

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR, with the false-friend census script

  cancelled:
  Server Boot Gate#443:Pull request#443synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 19, 202610m 16s
  More actions for workflow run 443