All workflows

Workflow runs

• Robustness suites

  completed successfully:
  Robustness suites#4:Scheduled
  main

  Nov 13, 20261m 7s
  More actions for workflow run 4

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  completed successfully:
  CI#995:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  main

  Nov 13, 20266m 32s
  More actions for workflow run 995

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  completed successfully:
  Failpoints#435:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  main

  Nov 13, 20261m 7s
  More actions for workflow run 435

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  completed successfully:
  Model sync#108:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  main

  Nov 13, 202616s
  More actions for workflow run 108

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  completed successfully:
  Verification#530:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  main

  Nov 13, 202610m 38s
  More actions for workflow run 530

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  failed:
  Client compatibility#393:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  main

  Nov 13, 202626m 21s
  More actions for workflow run 393

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  failed:
  Scenario fuzzing#227:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-270-0791ace55cef76a71340e324092d5116f0ac7d42

  Nov 13, 2026Failure
  More actions for workflow run 227

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Model sync#107:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 202619s
  More actions for workflow run 107

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Failpoints#434:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20261m 26s
  More actions for workflow run 434

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  failed:
  CI#994:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20267m 8s
  More actions for workflow run 994

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Verification#529:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 202623m 58s
  More actions for workflow run 529

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  skipped:
  Client compatibility#392:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20261s
  More actions for workflow run 392

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Kani#152:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20263m 31s
  More actions for workflow run 152

• perf(request): a clock seam for deadlines, tick arithmetic at send, a…

  failed:
  Scenario fuzzing#226:Commite8847a3pushedbyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 2026Failure
  More actions for workflow run 226

• Model sync

  completed successfully:
  Model sync#106:Merge group checks requested
  Nov 13, 202617s
  More actions for workflow run 106

• Verification

  completed successfully:
  Verification#528:Merge group checks requested
  Nov 13, 20269m 16s
  More actions for workflow run 528

• Failpoints

  completed successfully:
  Failpoints#433:Merge group checks requested
  Nov 13, 20261m 5s
  More actions for workflow run 433

• CI

  completed successfully:
  CI#993:Merge group checks requested
  Nov 13, 20266m 44s
  More actions for workflow run 993

• Perf gate

  completed successfully:
  Perf gate#4:Merge group checks requested
  Nov 13, 20262m 32s
  More actions for workflow run 4

• ci: hot-path performance gate (instruction counts) and wall-clock A/B…

  failed:
  Scenario fuzzing#225:Commit33d4016pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-270-0791ace55cef76a71340e324092d5116f0ac7d42

  Nov 13, 2026Failure
  More actions for workflow run 225

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  failed:
  CI#992:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20268m 15s
  More actions for workflow run 992

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  skipped:
  Client compatibility#391:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20261s
  More actions for workflow run 391

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Verification#527:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 202623m 52s
  More actions for workflow run 527

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Failpoints#432:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 20261m 0s
  More actions for workflow run 432

• feat: exit signals, startup and runtime-drop semantics as in OTP (ranks 5e, 5f, 5g)

  completed successfully:
  Model sync#105:Pull request#240synchronizebyunbalancedparentheses
  feat/otp-exit-signals

  Nov 13, 202630s
  More actions for workflow run 105