Build documentation

Workflow runs for Build documentation

• Resolve alternate Navier-Stokes archive names by default

  completed successfully:
  Build documentation#6:Commitf19c7a4pushedbyabhs21
  codex/dataset-paths-issue-708

  Sep 23, 202610m 1s
  More actions for workflow run 6

• Address TF32 review feedback

  completed successfully:
  Build documentation#5:Commit55735b4pushedbyabhs21
  fix/tf32-pino-reproducibility-720

  Sep 22, 202611m 39s
  More actions for workflow run 5

• Fix moment-map compilation issues

  completed successfully:
  Build documentation#4:Commita5096f2pushedbyabhs21
  tmlr-lean-audit

  Sep 6, 202617m 29s
  More actions for workflow run 4

• Fix score core compilation

  completed successfully:
  Build documentation#3:Commit5e1fab9pushedbyabhs21
  tmlr-lean-audit

  Sep 6, 202616m 57s
  More actions for workflow run 3

• Generate Lake manifest before verification

  completed successfully:
  Build documentation#2:Commit2b90a2fpushedbyabhs21
  tmlr-lean-audit

  Sep 6, 202610m 11s
  More actions for workflow run 2

• Add Lean verification workflow

  completed successfully:
  Build documentation#1:Commit7ca5f69pushedbyabhs21
  tmlr-lean-audit

  Sep 6, 202610m 50s
  More actions for workflow run 1