All workflows

Workflow runs

• Merge pull request #237 from numtide/cleanup/core

  completed successfully:
  windows#691:Commitb13ee32pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 20263m 32s
  More actions for workflow run 691

• windows

  completed successfully:
  windows#690:Merge group checks requested
  Oct 24, 20263m 24s
  More actions for workflow run 690

• Merge pull request #236 from numtide/cleanup/frontend

  completed successfully:
  windows#689:Commited496dfpushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 20263m 29s
  More actions for workflow run 689

• windows

  completed successfully:
  windows#688:Merge group checks requested
  Oct 24, 20263m 28s
  More actions for workflow run 688

• core: clean up comments, docs, dead code and tests

  completed successfully:
  windows#687:Pull request#237synchronizebyzimbatm
  cleanup/core

  Oct 24, 20263m 29s
  More actions for workflow run 687

• frontend: clean up comments, docs, dead code and tests

  completed successfully:
  windows#686:Pull request#236synchronizebyzimbatm
  cleanup/frontend

  Oct 24, 20263m 40s
  More actions for workflow run 686

• Merge pull request #240 from numtide/test/concurrent-eval-speed

  completed successfully:
  windows#685:Commitd29f9b3pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 20263m 32s
  More actions for workflow run 685

• windows

  completed successfully:
  windows#684:Merge group checks requested
  Oct 24, 20263m 25s
  More actions for workflow run 684

• windows

  failed:
  windows#683:Merge group checks requested
  Oct 24, 20263m 23s
  More actions for workflow run 683

• api: make the four longest concurrent eval delays smaller

  completed successfully:
  windows#682:Pull request#240openedbyzimbatm
  test/concurrent-eval-speed

  Oct 24, 20263m 47s
  More actions for workflow run 682

• Merge pull request #238 from numtide/cleanup/io

  completed successfully:
  windows#681:Commite0ba430pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 20263m 41s
  More actions for workflow run 681

• Merge pull request #239 from numtide/cleanup/tests-docs

  completed successfully:
  windows#680:Commit443dd64pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 20263m 46s
  More actions for workflow run 680

• windows

  completed successfully:
  windows#679:Merge group checks requested
  Oct 24, 20264m 33s
  More actions for workflow run 679

• windows

  completed successfully:
  windows#678:Merge group checks requested
  Oct 23, 20264m 14s
  More actions for workflow run 678

• tests, docs: clean up comments and prose

  completed successfully:
  windows#677:Pull request#239openedbyzimbatm
  cleanup/tests-docs

  Oct 23, 20264m 12s
  More actions for workflow run 677

• io: clean up comments, docs and dead code

  completed successfully:
  windows#676:Pull request#238openedbyzimbatm
  cleanup/io

  Oct 23, 20264m 29s
  More actions for workflow run 676

• core: clean up comments, docs, dead code and tests

  completed successfully:
  windows#675:Pull request#237openedbyzimbatm
  cleanup/core

  Oct 23, 20264m 8s
  More actions for workflow run 675

• frontend: clean up comments, docs, dead code and tests

  completed successfully:
  windows#674:Pull request#236openedbyzimbatm
  cleanup/frontend

  Oct 23, 20263m 49s
  More actions for workflow run 674

• Merge pull request #235 from numtide/fix/progress-unfinished

  completed successfully:
  windows#673:Commit27e45e9pushedbygithub-merge-queue[bot]Bot
  main

  Oct 23, 20263m 45s
  More actions for workflow run 673

• windows

  completed successfully:
  windows#672:Merge group checks requested
  Oct 23, 20263m 48s
  More actions for workflow run 672

• build: do not call a build the store stopped a success

  completed successfully:
  windows#671:Pull request#235openedbyzimbatm
  fix/progress-unfinished

  Oct 23, 20266m 1s
  More actions for workflow run 671

• Merge pull request #231 from numtide/rstest

  completed successfully:
  windows#670:Commit7c0b017pushedbygithub-merge-queue[bot]Bot
  main

  Oct 23, 20263m 59s
  More actions for workflow run 670

• windows

  completed successfully:
  windows#669:Merge group checks requested
  Oct 23, 20264m 13s
  More actions for workflow run 669

• tests: use rstest for table tests and the lang cases

  completed successfully:
  windows#668:Pull request#231synchronizebyzimbatm
  rstest

  Oct 23, 20264m 9s
  More actions for workflow run 668

• Merge pull request #233 from numtide/ci/15min

  completed successfully:
  windows#667:Commit8f827c0pushedbygithub-merge-queue[bot]Bot
  main

  Oct 23, 20264m 35s
  More actions for workflow run 667