Workflow runs

• Long Test

  queued:
  Long Test#11603:Scheduled
  main

  Oct 28, 2026Queued
  More actions for workflow run 11603

• Lean-only CCF Raft trace reduction and replay

  completed successfully:
  TLA Shallow Verification#267:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20268m 12s
  More actions for workflow run 267

• Lean-only CCF Raft trace reduction and replay

  failed:
  Continuous Integration#11333:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 202617m 42s
  More actions for workflow run 11333

• Lean-only CCF Raft trace reduction and replay

  skipped:
  Long Test#11602:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20261s
  More actions for workflow run 11602

• Lean-only CCF Raft trace reduction and replay

  completed successfully:
  Lean#337:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 202655m 27s
  More actions for workflow run 337

• Lean-only CCF Raft trace reduction and replay

  skipped:
  Benchmark A/B Testing#7617:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20269s
  More actions for workflow run 7617

• Benchmarks

  completed successfully:
  Benchmarks#2346:Scheduled
  main

  Oct 27, 202619m 8s
  More actions for workflow run 2346

• Coverage

  failed:
  Coverage#798:Scheduled
  main

  Oct 27, 202633m 25s
  More actions for workflow run 798

• Prove commit liveness for the ccf-raft Lean model

  skipped:
  Benchmark A/B Testing#7616:Pull request#8640openedbycjen1-msft
  cjen1-msft-commit-liveness

  Oct 27, 20261s
  More actions for workflow run 7616

• Prove commit liveness for the ccf-raft Lean model

  failed:
  Lean#336:Pull request#8640openedbycjen1-msft
  cjen1-msft-commit-liveness

  Oct 27, 202625m 58s
  More actions for workflow run 336

• Prove commit liveness for the ccf-raft Lean model

  completed successfully:
  Continuous Integration#11332:Pull request#8640openedbycjen1-msft
  cjen1-msft-commit-liveness

  Oct 27, 202617m 7s
  More actions for workflow run 11332

• Prove commit liveness for the ccf-raft Lean model

  skipped:
  Long Test#11601:Pull request#8640openedbycjen1-msft
  cjen1-msft-commit-liveness

  Oct 27, 20262s
  More actions for workflow run 11601

• Grant pre-votes in the ccf-raft Lean model only while no primary is known

  skipped:
  Long Test#11600:Pull request#8639openedbycjen1-msft
  cjen1-msft-prevote-primary-known

  Oct 27, 20261s
  More actions for workflow run 11600

• Grant pre-votes in the ccf-raft Lean model only while no primary is known

  completed successfully:
  Continuous Integration#11331:Pull request#8639openedbycjen1-msft
  cjen1-msft-prevote-primary-known

  Oct 27, 202617m 4s
  More actions for workflow run 11331

• Grant pre-votes in the ccf-raft Lean model only while no primary is known

  skipped:
  Benchmark A/B Testing#7615:Pull request#8639openedbycjen1-msft
  cjen1-msft-prevote-primary-known

  Oct 27, 20261s
  More actions for workflow run 7615

• Grant pre-votes in the ccf-raft Lean model only while no primary is known

  completed successfully:
  Lean#335:Pull request#8639openedbycjen1-msft
  cjen1-msft-prevote-primary-known

  Oct 27, 202644m 17s
  More actions for workflow run 335

• Align the ccf-raft Lean model with CCF rejoin and send-pass behaviour

  completed successfully:
  Continuous Integration#11330:Pull request#8638openedbycjen1-msft
  cjen1-msft-model-alignment

  Oct 27, 202617m 42s
  More actions for workflow run 11330

• Align the ccf-raft Lean model with CCF rejoin and send-pass behaviour

  skipped:
  Long Test#11599:Pull request#8638openedbycjen1-msft
  cjen1-msft-model-alignment

  Oct 27, 20266s
  More actions for workflow run 11599

• Align the ccf-raft Lean model with CCF rejoin and send-pass behaviour

  skipped:
  Benchmark A/B Testing#7614:Pull request#8638openedbycjen1-msft
  cjen1-msft-model-alignment

  Oct 27, 20261s
  More actions for workflow run 7614

• Align the ccf-raft Lean model with CCF rejoin and send-pass behaviour

  completed successfully:
  Lean#334:Pull request#8638openedbycjen1-msft
  cjen1-msft-model-alignment

  Oct 27, 202643m 6s
  More actions for workflow run 334

• Lean-only CCF Raft trace reduction and replay

  skipped:
  Long Test#11598:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20262s
  More actions for workflow run 11598

• Lean-only CCF Raft trace reduction and replay

  completed successfully:
  Continuous Integration#11329:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 202612m 40s
  More actions for workflow run 11329

• Lean-only CCF Raft trace reduction and replay

  completed successfully:
  TLA Shallow Verification#266:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20268m 9s
  More actions for workflow run 266

• Lean-only CCF Raft trace reduction and replay

  skipped:
  Benchmark A/B Testing#7613:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 20262s
  More actions for workflow run 7613

• Lean-only CCF Raft trace reduction and replay

  completed successfully:
  Lean#333:Pull request#8584synchronizebycjen1-msft
  cjen1-msft-congenial-bassoon

  Oct 27, 202655m 59s
  More actions for workflow run 333