Rust CI

Workflow runs for Rust CI

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

  failed:
  Rust CI#1495:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20265m 59s
  More actions for workflow run 1495

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

  failed:
  Rust CI#1494:Pull request#447synchronizebycoderabbitai[bot]Bot
  claude/new-session-th4e9w-lockregen

  Oct 20, 20264m 21s
  More actions for workflow run 1494

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

  completed successfully:
  Rust CI#1493:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 202651m 49s
  More actions for workflow run 1493

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

  failed:
  Rust CI#1492:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202619m 53s
  More actions for workflow run 1492

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

  cancelled:
  Rust CI#1491:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202640s
  More actions for workflow run 1491

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

  cancelled:
  Rust CI#1490:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20262m 16s
  More actions for workflow run 1490

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

  failed:
  Rust CI#1489:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202614m 0s
  More actions for workflow run 1489

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

  cancelled:
  Rust CI#1488:Commit1b04deepushedbyhyperpolymath
  main

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

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

  cancelled:
  Rust CI#1487:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

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

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

  cancelled:
  Rust CI#1486:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

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

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

  failed:
  Rust CI#1485:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 202629m 12s
  More actions for workflow run 1485

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

  cancelled:
  Rust CI#1484:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202615m 55s
  More actions for workflow run 1484

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

  cancelled:
  Rust CI#1483:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

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

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

  completed successfully:
  Rust CI#1482:Pull request#446openedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 202623m 21s
  More actions for workflow run 1482

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

  completed successfully:
  Rust CI#1481:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20266m 32s
  More actions for workflow run 1481

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

  completed successfully:
  Rust CI#1480:Pull request#445openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20267m 14s
  More actions for workflow run 1480

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

  completed successfully:
  Rust CI#1479:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20265m 31s
  More actions for workflow run 1479

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

  completed successfully:
  Rust CI#1478:Pull request#444synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 20, 20265m 25s
  More actions for workflow run 1478

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

  completed successfully:
  Rust CI#1477:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20265m 11s
  More actions for workflow run 1477

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

  completed successfully:
  Rust CI#1476:Pull request#444openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20265m 28s
  More actions for workflow run 1476

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

  completed successfully:
  Rust CI#1475:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20269m 14s
  More actions for workflow run 1475

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

  cancelled:
  Rust CI#1474:Commitd8a0185pushedbyhyperpolymath
  main

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

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

  completed successfully:
  Rust CI#1473:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 19, 202620m 41s
  More actions for workflow run 1473

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

  completed successfully:
  Rust CI#1472:Pull request#443synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 202620m 31s
  More actions for workflow run 1472

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

  cancelled:
  Rust CI#1471:Pull request#443synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 19, 202610m 6s
  More actions for workflow run 1471