Live Provers

Workflow runs for Live Provers

• Live Provers

  completed successfully:
  Live Provers#1322:Scheduled
  main

  Oct 21, 202611m 37s
  More actions for workflow run 1322

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

  completed successfully:
  Live Provers#1321:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20264m 0s
  More actions for workflow run 1321

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

  completed successfully:
  Live Provers#1320:Pull request#447synchronizebycoderabbitai[bot]Bot
  claude/new-session-th4e9w-lockregen

  Oct 20, 20262m 10s
  More actions for workflow run 1320

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

  completed successfully:
  Live Provers#1319:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 202622m 32s
  More actions for workflow run 1319

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

  completed successfully:
  Live Provers#1318:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202622m 21s
  More actions for workflow run 1318

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

  cancelled:
  Live Provers#1317:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202640s
  More actions for workflow run 1317

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

  cancelled:
  Live Provers#1316:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20262m 15s
  More actions for workflow run 1316

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

  completed successfully:
  Live Provers#1315:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202616m 5s
  More actions for workflow run 1315

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

  cancelled:
  Live Provers#1314:Commit1b04deepushedbyhyperpolymath
  main

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

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

  cancelled:
  Live Provers#1313:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

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

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

  cancelled:
  Live Provers#1312:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202610m 33s
  More actions for workflow run 1312

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

  completed successfully:
  Live Provers#1311:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 202619m 13s
  More actions for workflow run 1311

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

  completed successfully:
  Live Provers#1310:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202615m 47s
  More actions for workflow run 1310

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

  cancelled:
  Live Provers#1309:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

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

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

  completed successfully:
  Live Provers#1308:Pull request#446openedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20268m 10s
  More actions for workflow run 1308

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

  completed successfully:
  Live Provers#1307:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20266m 27s
  More actions for workflow run 1307

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

  completed successfully:
  Live Provers#1306:Pull request#445openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20261m 52s
  More actions for workflow run 1306

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

  completed successfully:
  Live Provers#1305:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20261m 55s
  More actions for workflow run 1305

• Live Provers

  completed successfully:
  Live Provers#1304:Scheduled
  main

  Oct 20, 202612m 23s
  More actions for workflow run 1304

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

  completed successfully:
  Live Provers#1303:Pull request#444synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 5s
  More actions for workflow run 1303

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

  completed successfully:
  Live Provers#1302:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20262m 4s
  More actions for workflow run 1302

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

  completed successfully:
  Live Provers#1301:Pull request#444openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20261m 56s
  More actions for workflow run 1301

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

  completed successfully:
  Live Provers#1300:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20264m 41s
  More actions for workflow run 1300

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

  cancelled:
  Live Provers#1299:Commitd8a0185pushedbyhyperpolymath
  main

  Oct 19, 20263m 25s
  More actions for workflow run 1299

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

  completed successfully:
  Live Provers#1298:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 19, 202611m 34s
  More actions for workflow run 1298