Docs Dev

Workflow runs for Docs Dev

• deps: update tokio to fix an I/O safety advisory

  completed successfully:
  Docs Dev#5:Commit56dccfdpushedbylucidprogrammer
  dev

  Oct 25, 202611s
  More actions for workflow run 5

• ci: install ripgrep for scheduled flake detection and release workflows

  completed successfully:
  Docs Dev#4:Commit04581afpushedbylucidprogrammer
  dev

  Oct 25, 20267s
  More actions for workflow run 4

• ci, tests: add macOS linting, regroup test bundles, and isolate concu…

  completed successfully:
  Docs Dev#3:Commitcd75f16pushedbylucidprogrammer
  dev

  Oct 25, 20267s
  More actions for workflow run 3

• portability: remove an unused socket import.

  completed successfully:
  Docs Dev#2:Commit6a0d4b4pushedbylucidprogrammer
  dev

  Oct 16, 20266s
  More actions for workflow run 2

• ci: unify checks and verified development downloads

  completed successfully:
  Docs Dev#1:Commit63a9145pushedbylucidprogrammer
  dev

  Oct 16, 202610s
  More actions for workflow run 1