CI

Workflow runs for CI

• Merge pull request #235 from nevermemo/docs/cleanup-s6-d576

  completed successfully:
  CI#775:Commit65f513cpushedbynevermemo
  main

  Oct 24, 20268m 43s
  More actions for workflow run 775

• Record the cleanup closing checks (d576)

  completed successfully:
  CI#774:Pull request#235openedbynevermemo
  docs/cleanup-s6-d576

  Oct 24, 20267m 23s
  More actions for workflow run 774

• Merge pull request #234 from nevermemo/docs/cleanup-s6-close

  completed successfully:
  CI#773:Commite51341cpushedbynevermemo
  main

  Oct 24, 202610m 4s
  More actions for workflow run 773

• Record the cleanup: d573-d575, N126, N127

  completed successfully:
  CI#772:Pull request#234openedbynevermemo
  docs/cleanup-s6-close

  Oct 24, 20267m 10s
  More actions for workflow run 772

• Merge pull request #233 from nevermemo/refactor/cleanup-s5-scip-query

  completed successfully:
  CI#771:Commita60923cpushedbynevermemo
  main

  Oct 24, 20268m 54s
  More actions for workflow run 771

• Share the ranking skeleton of the three SCIP maps; pin their output (cleanup S5)

  completed successfully:
  CI#770:Pull request#233openedbynevermemo
  refactor/cleanup-s5-scip-query

  Oct 24, 20266m 52s
  More actions for workflow run 770

• Merge pull request #232 from nevermemo/refactor/cleanup-s5-traverse-req

  completed successfully:
  CI#769:Commitffdeeffpushedbynevermemo
  main

  Oct 24, 20269m 47s
  More actions for workflow run 769

• Fold the traverse::search arguments into a TraverseRequest (cleanup S5)

  completed successfully:
  CI#768:Pull request#232openedbynevermemo
  refactor/cleanup-s5-traverse-req

  Oct 24, 20268m 6s
  More actions for workflow run 768

• Merge pull request #231 from nevermemo/refactor/cleanup-s5-lsp-init

  completed successfully:
  CI#767:Commitbb3e071pushedbynevermemo
  main

  Oct 23, 20268m 35s
  More actions for workflow run 767

• Dedupe the LSP initialize_params; drop two stale test allows (cleanup S5)

  completed successfully:
  CI#766:Pull request#231openedbynevermemo
  refactor/cleanup-s5-lsp-init

  Oct 23, 20269m 7s
  More actions for workflow run 766

• Merge pull request #230 from nevermemo/docs/cleanup-s2c-mismatches

  completed successfully:
  CI#765:Commit4fd0e72pushedbynevermemo
  main

  Oct 23, 20269m 18s
  More actions for workflow run 765

• Fix docs that disagree with the code; split architecture.md (cleanup S2c)

  completed successfully:
  CI#764:Pull request#230openedbynevermemo
  docs/cleanup-s2c-mismatches

  Oct 23, 20266m 45s
  More actions for workflow run 764

• Merge pull request #229 from nevermemo/chore/cleanup-readme-pointers

  completed successfully:
  CI#763:Commit3c3092fpushedbynevermemo
  main

  Oct 23, 20268m 18s
  More actions for workflow run 763

• Point Rust doc strings at the moved README sections (cleanup)

  completed successfully:
  CI#762:Pull request#229openedbynevermemo
  chore/cleanup-readme-pointers

  Oct 23, 20269m 8s
  More actions for workflow run 762

• Merge pull request #228 from nevermemo/docs/cleanup-s2b-readme

  completed successfully:
  CI#761:Commit09da959pushedbynevermemo
  main

  Oct 23, 20269m 36s
  More actions for workflow run 761

• Move README reference sections into guides (cleanup S2b)

  completed successfully:
  CI#760:Pull request#228openedbynevermemo
  docs/cleanup-s2b-readme

  Oct 23, 20269m 16s
  More actions for workflow run 760

• Merge pull request #227 from nevermemo/chore/cleanup-s3-copilot-workflow

  completed successfully:
  CI#759:Commitcff615fpushedbynevermemo
  main

  Oct 23, 202611m 50s
  More actions for workflow run 759

• Merge pull request #226 from nevermemo/docs/cleanup-s2a-roadmap

  completed successfully:
  CI#758:Commitb642599pushedbynevermemo
  main

  Oct 23, 202614m 57s
  More actions for workflow run 758

• Remove the close-landed Copilot PRs workflow (cleanup S3)

  completed successfully:
  CI#757:Pull request#227openedbynevermemo
  chore/cleanup-s3-copilot-workflow

  Oct 23, 202610m 23s
  More actions for workflow run 757

• Restructure the roadmap by remaining obligation (cleanup S2a)

  completed successfully:
  CI#756:Pull request#226openedbynevermemo
  docs/cleanup-s2a-roadmap

  Oct 23, 20269m 10s
  More actions for workflow run 756

• Merge pull request #225 from nevermemo/docs/fold-5

  completed successfully:
  CI#755:Commit6d6a9bbpushedbynevermemo
  main

  Oct 23, 202611m 20s
  More actions for workflow run 755

• Docs fold 5: K12a-2, sanity 20, K39b

  completed successfully:
  CI#754:Pull request#225synchronizebynevermemo
  docs/fold-5

  Oct 23, 202626m 57s
  More actions for workflow run 754

• Merge pull request #224 from nevermemo/fix/tokio-rustsec-2026-0386

  completed successfully:
  CI#753:Commit7ba065cpushedbynevermemo
  main

  Oct 23, 202624m 6s
  More actions for workflow run 753

• Docs fold 5: K12a-2, sanity 20, K39b

  completed successfully:
  CI#752:Pull request#225openedbynevermemo
  docs/fold-5

  Oct 23, 202611m 30s
  More actions for workflow run 752

• Update tokio to 1.54.1 (RUSTSEC-2026-0386)

  completed successfully:
  CI#751:Pull request#224openedbynevermemo
  fix/tokio-rustsec-2026-0386

  Oct 23, 202625m 14s
  More actions for workflow run 751