Build and deploy StatLean site

Workflow runs for Build and deploy StatLean site

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#73:Manually runbyjunwei-lu
  main

  Aug 5, 20261m 25s
  More actions for workflow run 73

• deploy: make manual runs cache-aware (add rebuild_docs input)

  completed successfully:
  Build and deploy StatLean site#72:Commitda90d16pushedbyjunwei-lu
  main

  Aug 5, 20262m 18s
  More actions for workflow run 72

• Build and deploy StatLean site

  cancelled:
  Build and deploy StatLean site#71:Manually runbyjunwei-lu
  main

  Aug 5, 202612m 35s
  More actions for workflow run 71

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#70:Manually runbyjunwei-lu
  main

  Aug 4, 20263h 20m 36s
  More actions for workflow run 70

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#69:Scheduled
  main

  Aug 4, 202659s
  More actions for workflow run 69

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#68:Manually runbyjunwei-lu
  main

  Aug 4, 20262h 46m 31s
  More actions for workflow run 68

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#67:Scheduled
  main

  Aug 3, 20261m 11s
  More actions for workflow run 67

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#66:Scheduled
  main

  Aug 2, 202657s
  More actions for workflow run 66

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#65:Scheduled
  main

  Aug 1, 20261m 4s
  More actions for workflow run 65

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#64:Scheduled
  main

  Jul 31, 202656s
  More actions for workflow run 64

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#63:Scheduled
  main

  Jul 30, 20261m 0s
  More actions for workflow run 63

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#62:Scheduled
  main

  Jul 29, 20261m 1s
  More actions for workflow run 62

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#61:Scheduled
  main

  Jul 28, 20261m 4s
  More actions for workflow run 61

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#60:Scheduled
  main

  Jul 27, 202654s
  More actions for workflow run 60

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#59:Scheduled
  main

  Jul 26, 202651s
  More actions for workflow run 59

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#58:Scheduled
  main

  Jul 25, 20261m 7s
  More actions for workflow run 58

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#57:Scheduled
  main

  Jul 24, 20261m 4s
  More actions for workflow run 57

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#56:Scheduled
  main

  Jul 23, 202659s
  More actions for workflow run 56

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#55:Scheduled
  main

  Jul 22, 202653s
  More actions for workflow run 55

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#54:Scheduled
  main

  Jul 21, 202646s
  More actions for workflow run 54

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#53:Scheduled
  main

  Jul 20, 202652s
  More actions for workflow run 53

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#52:Scheduled
  main

  Jul 19, 20262m 16s
  More actions for workflow run 52

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#51:Scheduled
  main

  Jul 18, 202654s
  More actions for workflow run 51

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#50:Scheduled
  main

  Jul 17, 202651s
  More actions for workflow run 50

• Build and deploy StatLean site

  completed successfully:
  Build and deploy StatLean site#49:Scheduled
  main

  Jul 16, 20261m 0s
  More actions for workflow run 49