All workflows

Workflow runs

• Build and deploy StatLean site

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

  Jul 3, 202657s
  More actions for workflow run 28

• Build and deploy StatLean site

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

  Jul 2, 202658s
  More actions for workflow run 27

• Deploy website (fast)

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

  Jul 1, 202649s
  More actions for workflow run 5

• Deploy website (fast)

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

  Jul 1, 20261m 0s
  More actions for workflow run 4

• Deploy website (fast)

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

  Jul 1, 202654s
  More actions for workflow run 3

• Deploy website (fast)

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

  Jul 1, 202653s
  More actions for workflow run 2

• Build and deploy StatLean site

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

  Jul 1, 20261h 7m 41s
  More actions for workflow run 26

• Build and deploy StatLean site

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

  Jul 1, 202650s
  More actions for workflow run 25

• deploy: build docs for the unified StatLean lib (was AsymptoticStatis…

  completed successfully:
  Build and deploy StatLean site#24:Commit0e373d0pushedbyjunwei-lu
  main

  Jul 1, 20261h 11m 41s
  More actions for workflow run 24

• Build and deploy StatLean site

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

  Jun 30, 202659m 45s
  More actions for workflow run 23

• Build and deploy StatLean site

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

  Jun 29, 202658m 7s
  More actions for workflow run 22

• Build and deploy StatLean site

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

  Jun 28, 20261h 2m 39s
  More actions for workflow run 21

• Build and deploy StatLean site

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

  Jun 27, 202658m 49s
  More actions for workflow run 20

• Build and deploy StatLean site

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

  Jun 26, 202657m 32s
  More actions for workflow run 19

• Build and deploy StatLean site

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

  Jun 25, 202656m 36s
  More actions for workflow run 18

• Build and deploy StatLean site

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

  Jun 24, 202658m 26s
  More actions for workflow run 17

• Build and deploy StatLean site

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

  Jun 23, 202658m 48s
  More actions for workflow run 16

• Build and deploy StatLean site

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

  Jun 22, 20261h 0m 9s
  More actions for workflow run 15

• Build and deploy StatLean site

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

  Jun 21, 202658m 12s
  More actions for workflow run 14

• Build and deploy StatLean site

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

  Jun 20, 202655m 53s
  More actions for workflow run 13

• Build and deploy StatLean site

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

  Jun 19, 202658m 5s
  More actions for workflow run 12

• Build and deploy StatLean site

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

  Jun 18, 202651m 18s
  More actions for workflow run 11

• Build and deploy StatLean site

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

  Jun 17, 202658m 23s
  More actions for workflow run 10

• Build and deploy StatLean site

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

  Jun 16, 202659m 25s
  More actions for workflow run 9

• Build and deploy StatLean site

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

  Jun 15, 20261h 2m 18s
  More actions for workflow run 8