All workflows

Workflow runs

• Close stale issues and PRs

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

  Nov 7, 202611s
  More actions for workflow run 1880

• cargo in /. - Update #1685664572

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

  Nov 6, 202641s

• Close stale issues and PRs

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

  Nov 6, 202611s
  More actions for workflow run 1879

• cargo in /. - Update #1683550877

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

  Nov 5, 202649s

• build

  completed successfully:
  build#2227:Scheduled
  master

  Nov 5, 20261m 22s
  More actions for workflow run 2227

• Close stale issues and PRs

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

  Nov 5, 202610s
  More actions for workflow run 1878

• cargo in /. - Update #1681074447

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

  Nov 4, 202637s

• Close stale issues and PRs

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

  Nov 4, 20269s
  More actions for workflow run 1877

• cargo in /. - Update #1678185792

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

  Nov 3, 202649s

• Close stale issues and PRs

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

  Nov 3, 202611s
  More actions for workflow run 1876

• cargo in /. - Update #1674824577

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

  Nov 2, 202645s

• github_actions in /.github/workflows - Update #1674824204

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

  Nov 2, 20261m 55s

• code_ql

  completed successfully:
  code_ql#547:Scheduled
  master

  Nov 2, 20266m 31s
  More actions for workflow run 547

• Close stale issues and PRs

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

  Nov 2, 20267s
  More actions for workflow run 1875

• Close stale issues and PRs

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

  Nov 1, 20268s
  More actions for workflow run 1874

• Close stale issues and PRs

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

  Oct 31, 20267s
  More actions for workflow run 1873

• cargo in /. - Update #1666124911

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

  Oct 30, 202653s

• Close stale issues and PRs

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

  Oct 30, 20269s
  More actions for workflow run 1872

• cargo in /. - Update #1663590464

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

  Oct 29, 202649s

• build

  completed successfully:
  build#2226:Scheduled
  master

  Oct 29, 202658s
  More actions for workflow run 2226

• Close stale issues and PRs

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

  Oct 29, 20267s
  More actions for workflow run 1871

• cargo in /. - Update #1661018933

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

  Oct 28, 202652s

• Close stale issues and PRs

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

  Oct 28, 20268s
  More actions for workflow run 1870

• cargo in /. - Update #1658486386

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

  Oct 27, 202650s

• perf: reuse scratch buffer in merge sort

  completed successfully:
  code_ql#546:Pull request#1076openedbyFeralthedogg
  Feralthedogg:perf/reuse-merge-sort-buffer

  Oct 27, 20265m 4s
  More actions for workflow run 546