All workflows

Workflow runs

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#393:Scheduled
  master

  Jan 29, 20267s
  More actions for workflow run 393

• Running Copilot coding agent

  completed successfully:
  Copilot coding agent#6:byCopilotAI
  copilot/add-jspecify-annotations

  Jan 29, 20261m 43s
  More actions for workflow run 6

• Add comprehensive JSpecify @NullMarked annotations to remaining classes

  completed successfully:
  Pull Request Build#275:Pull request#262synchronizebyCopilotAI
  copilot/add-jspecify-annotations

  Jan 29, 20268m 11s
  More actions for workflow run 275

• Running Copilot coding agent

  completed successfully:
  Copilot coding agent#5:byCopilotAI
  copilot/add-jspecify-annotations

  Jan 28, 202635m 57s

• Running Copilot coding agent

  completed successfully:
  Copilot coding agent#4:byCopilotAI
  copilot/add-jspecify-annotations

  Jan 28, 20262m 14s

• Running Copilot coding agent

  completed successfully:
  Copilot coding agent#3:byCopilotAI
  copilot/add-jspecify-annotations

  Jan 28, 20265m 17s

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#392:Scheduled
  master

  Jan 28, 20267s
  More actions for workflow run 392

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#391:Scheduled
  master

  Jan 27, 202610s
  More actions for workflow run 391

• github_actions in /. - Update #1220900879

  completed successfully:
  Dependabot Updates#81:bydependabot[bot]Bot
  master

  Jan 26, 202631s

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#390:Scheduled
  master

  Jan 26, 20267s
  More actions for workflow run 390

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#389:Scheduled
  master

  Jan 25, 202610s
  More actions for workflow run 389

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#388:Scheduled
  master

  Jan 24, 20269s
  More actions for workflow run 388

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#387:Scheduled
  master

  Jan 23, 202610s
  More actions for workflow run 387

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#386:Scheduled
  master

  Jan 22, 202610s
  More actions for workflow run 386

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#385:Scheduled
  master

  Jan 21, 20269s
  More actions for workflow run 385

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#384:Scheduled
  master

  Jan 20, 202610s
  More actions for workflow run 384

• github_actions in /. - Update #1213179297

  completed successfully:
  Dependabot Updates#80:bydependabot[bot]Bot
  master

  Jan 19, 202632s

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#383:Scheduled
  master

  Jan 19, 20269s
  More actions for workflow run 383

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#382:Scheduled
  master

  Jan 18, 20269s
  More actions for workflow run 382

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#381:Scheduled
  master

  Jan 17, 20266s
  More actions for workflow run 381

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#380:Scheduled
  master

  Jan 16, 20269s
  More actions for workflow run 380

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#379:Scheduled
  master

  Jan 15, 20266s
  More actions for workflow run 379

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#378:Scheduled
  master

  Jan 14, 202610s
  More actions for workflow run 378

• Add dispatch strategy, implement bfs strategy

  failed:
  Pull Request Build#268:Pull request#261synchronizebyandimarek
  zsmoore:zmoore/dispatch-strategy

  Jan 13, 20263m 57s
  More actions for workflow run 268

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#377:Scheduled
  master

  Jan 13, 202610s
  More actions for workflow run 377