Formal Verify

Workflow runs for Formal Verify

• 🌱 Top up v6 with v5 (durable hosted hive.yaml, held-gate pills, stale CI chevron re-list and 117 more)

  completed successfully:
  Formal Verify#706:Pull request#17570synchronizebyclubanderson
  topup/v6-from-v5-20261110

  Nov 10, 20262m 51s
  More actions for workflow run 706

• 🌱 Top up v6 with v5 (durable hosted hive.yaml, held-gate pills, stale CI chevron re-list and 117 more)

  completed successfully:
  Formal Verify#705:Pull request#17570openedbyclubanderson
  topup/v6-from-v5-20261110

  Nov 10, 20264m 37s
  More actions for workflow run 705

• 🌱 Top up v6 with v5 (durable hosted hive.yaml, shared-CI deferral naming and 118 more)

  completed successfully:
  Formal Verify#704:Pull request#17506openedbyclubanderson
  topup/v5-to-v6-20261109

  Nov 10, 20264m 15s
  More actions for workflow run 704

• 🐛 fix(contribute): resumed runs keep their duration, measured from the original assignment

  completed successfully:
  Formal Verify#703:Pull request#17430synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/contribute-run-duration-resume

  Nov 9, 20264m 1s
  More actions for workflow run 703

• 🐛 fix(contribute-ws): a relay finishing its own PR review no longer logs a hub WARN

  completed successfully:
  Formal Verify#702:Pull request#17429synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/relay-self-review-complete-log

  Nov 9, 20264m 11s
  More actions for workflow run 702

• 🐛 fix(contribute): resumed runs keep their duration, measured from the original assignment

  completed successfully:
  Formal Verify#701:Pull request#17430openedbyDanathar
  Danathar:fix/contribute-run-duration-resume

  Nov 9, 20264m 9s
  More actions for workflow run 701

• 🐛 fix(contribute-ws): a relay finishing its own PR review no longer logs a hub WARN

  completed successfully:
  Formal Verify#700:Pull request#17429openedbyDanathar
  Danathar:fix/relay-self-review-complete-log

  Nov 9, 20264m 5s
  More actions for workflow run 700

• 🐛 [v6] contribute: never dispatch rework for a merged or closed PR

  completed successfully:
  Formal Verify#699:Pull request#17403synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/v6-contribute-no-rework-for-merged-pr

  Nov 9, 20263m 35s
  More actions for workflow run 699

• 🐛 [v6] contribute: never dispatch rework for a merged or closed PR

  completed successfully:
  Formal Verify#698:Pull request#17403synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/v6-contribute-no-rework-for-merged-pr

  Nov 9, 20264m 22s
  More actions for workflow run 698

• 🐛 [v6] contribute: never dispatch rework for a merged or closed PR

  completed successfully:
  Formal Verify#697:Pull request#17403synchronizebyDanathar
  Danathar:fix/v6-contribute-no-rework-for-merged-pr

  Nov 9, 20264m 23s
  More actions for workflow run 697

• 🐛 [v6] contribute: never dispatch rework for a merged or closed PR

  cancelled:
  Formal Verify#696:Pull request#17403synchronizebyDanathar
  Danathar:fix/v6-contribute-no-rework-for-merged-pr

  Nov 9, 20261m 40s
  More actions for workflow run 696

• 🐛 [v6] relay: a fix for your own PR is taken from any hive you subscribe to, and a polling-slot refusal no longer counts as a failed attempt

  completed successfully:
  Formal Verify#695:Pull request#17405openedbyDanathar
  Danathar:fix/v6-fix-pr-any-hub

  Nov 9, 20264m 14s
  More actions for workflow run 695

• 🐛 [v6] contribute: never dispatch rework for a merged or closed PR

  completed successfully:
  Formal Verify#694:Pull request#17403openedbyDanathar
  Danathar:fix/v6-contribute-no-rework-for-merged-pr

  Nov 9, 20262m 52s
  More actions for workflow run 694

• 🐛 [v6] contributor-first: a relay busy for another hive does not cover this hive's lane

  completed successfully:
  Formal Verify#693:Pull request#17402openedbyDanathar
  Danathar:fix/v6-contributor-first-busy-elsewhere

  Nov 9, 20263m 14s
  More actions for workflow run 693

• 🐛 [v6] contribute: a role-delegated task's guidance carries the assigned repo's AGENTS.md and the issue's relevant knowledge

  completed successfully:
  Formal Verify#692:Pull request#17315synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/v6-role-guidance-task-knowledge

  Nov 8, 20263m 19s
  More actions for workflow run 692

• 🐛 [v6] contribute: a role-delegated task's guidance carries the assigned repo's AGENTS.md and the issue's relevant knowledge

  completed successfully:
  Formal Verify#691:Pull request#17315openedbyDanathar
  Danathar:fix/v6-role-guidance-task-knowledge

  Nov 8, 20263m 19s
  More actions for workflow run 691

• 🐛 contribute: keep a PR-covered contributor claim on lease revoke

  completed successfully:
  Formal Verify#690:Pull request#17305synchronizebyhivecommons-hive[bot]Bot
  scanner/fix-17300

  Nov 8, 20263m 4s
  More actions for workflow run 690

• 🐛 contribute: keep a PR-covered contributor claim on lease revoke

  completed successfully:
  Formal Verify#689:Pull request#17305synchronizebyhivecommons-hive[bot]Bot
  scanner/fix-17300

  Nov 8, 20262m 49s
  More actions for workflow run 689

• 🐛 contribute: keep a PR-covered contributor claim on lease revoke

  completed successfully:
  Formal Verify#688:Pull request#17305synchronizebyhivecommons-hive[bot]Bot
  scanner/fix-17300

  Nov 8, 20262m 43s
  More actions for workflow run 688

• 🐛 contribute: keep a PR-covered contributor claim on lease revoke

  completed successfully:
  Formal Verify#687:Pull request#17305synchronizebyhivecommons-hive[bot]Bot
  scanner/fix-17300

  Nov 8, 20263m 2s
  More actions for workflow run 687

• 🐛 contribute: keep a PR-covered contributor claim on lease revoke

  completed successfully:
  Formal Verify#686:Pull request#17305openedbyhivecommons-hive[bot]Bot
  scanner/fix-17300

  Nov 8, 20262m 11s
  More actions for workflow run 686

• 🐛 [v6] contributor-first: a relay in a disabled tier or with no matching work does not cover a lane

  completed successfully:
  Formal Verify#685:Pull request#17284synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/v6-disabled-tier-no-work-not-cover

  Nov 8, 20263m 16s
  More actions for workflow run 685

• 🐛 [v6] contributor-first: a relay in a disabled tier or with no matching work does not cover a lane

  completed successfully:
  Formal Verify#684:Pull request#17284openedbyDanathar
  Danathar:fix/v6-disabled-tier-no-work-not-cover

  Nov 8, 20262m 59s
  More actions for workflow run 684

• 🐛 [v6] contributor-first: a relay at its task limit does not cover a lane

  completed successfully:
  Formal Verify#683:Pull request#17268synchronizebyhivecommons-hive[bot]Bot
  Danathar:fix/v6-limit-reached-relay-not-cover

  Nov 8, 20263m 24s
  More actions for workflow run 683

• 🐛 [v6] contributor-first: a relay at its task limit does not cover a lane

  completed successfully:
  Formal Verify#682:Pull request#17268openedbyDanathar
  Danathar:fix/v6-limit-reached-relay-not-cover

  Nov 8, 20263m 58s
  More actions for workflow run 682