All workflows

Workflow runs

• 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

• Build and deploy StatLean site

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

  Jul 15, 202650s
  More actions for workflow run 48

• Build and deploy StatLean site

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

  Jul 14, 20261h 22m 32s
  More actions for workflow run 47

• Build and deploy StatLean site

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

  Jul 14, 202652s
  More actions for workflow run 46

• Deploy website (fast)

  completed successfully:
  Deploy website (fast)#7:Manually runbyjunwei-lu
  main

  Jul 13, 202655s
  More actions for workflow run 7

• Build and deploy StatLean site

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

  Jul 13, 20261h 19m 47s
  More actions for workflow run 45

• Build and deploy StatLean site

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

  Jul 13, 20261m 1s
  More actions for workflow run 44

• Build and deploy StatLean site

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

  Jul 13, 20261h 22m 36s
  More actions for workflow run 43

• Build and deploy StatLean site

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

  Jul 12, 20261h 19m 6s
  More actions for workflow run 42

• Build and deploy StatLean site

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

  Jul 12, 20261h 7m 28s
  More actions for workflow run 41

• Build and deploy StatLean site

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

  Jul 12, 20261m 26s
  More actions for workflow run 40

• Build and deploy StatLean site

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

  Jul 11, 202648s
  More actions for workflow run 39

• Build and deploy StatLean site

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

  Jul 10, 20261m 1s
  More actions for workflow run 38

• Build and deploy StatLean site

  failed:
  Build and deploy StatLean site#37:Scheduled
  main

  Jul 9, 202615m 3s
  More actions for workflow run 37

• Build and deploy StatLean site

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

  Jul 8, 20261h 20m 24s
  More actions for workflow run 36

• Build and deploy StatLean site

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

  Jul 7, 20261h 18m 36s
  More actions for workflow run 35

• docs deploy: invalidate site-docs cache on Lean-source changes

  completed successfully:
  Deploy website (fast)#6:Commit231d364pushedbyjunwei-lu
  main

  Jul 7, 202639s
  More actions for workflow run 6

• docs deploy: invalidate site-docs cache on Lean-source changes

  completed successfully:
  Build and deploy StatLean site#34:Commit231d364pushedbyjunwei-lu
  main

  Jul 7, 20261m 17s
  More actions for workflow run 34

• Build and deploy StatLean site

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

  Jul 7, 202654m 56s
  More actions for workflow run 33

• Build and deploy StatLean site

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

  Jul 7, 20261h 14m 48s
  More actions for workflow run 32

• Build and deploy StatLean site

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

  Jul 6, 20261m 20s
  More actions for workflow run 31

• Build and deploy StatLean site

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

  Jul 5, 202654s
  More actions for workflow run 30

• Build and deploy StatLean site

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

  Jul 4, 202656s
  More actions for workflow run 29