All workflows

Workflow runs

• 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

• perf: reuse scratch buffer in merge sort

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

  Oct 27, 20261m 18s
  More actions for workflow run 1643

• perf: reuse scratch buffer in merge sort

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

  Oct 27, 202659s
  More actions for workflow run 2225

• Close stale issues and PRs

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

  Oct 27, 20269s
  More actions for workflow run 1869

• cargo in /. - Update #1655627602

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

  Oct 26, 202645s

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

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

  Oct 26, 20262m 9s

• code_ql

  completed successfully:
  code_ql#545:Scheduled
  master

  Oct 26, 20264m 13s
  More actions for workflow run 545

• Close stale issues and PRs

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

  Oct 26, 20267s
  More actions for workflow run 1868

• Close stale issues and PRs

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

  Oct 25, 202611s
  More actions for workflow run 1867