All workflows

Workflow runs

• Build and deploy site

  completed successfully:
  Build and deploy site#146:Scheduled
  main

  Oct 20, 202634s
  More actions for workflow run 146

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#131:Scheduled
  main

  Oct 20, 202625s
  More actions for workflow run 131

• Build and deploy site

  completed successfully:
  Build and deploy site#145:Scheduled
  main

  Oct 19, 202637s
  More actions for workflow run 145

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#130:Scheduled
  main

  Oct 19, 202621s
  More actions for workflow run 130

• Build and deploy site

  completed successfully:
  Build and deploy site#144:Scheduled
  main

  Oct 18, 202640s
  More actions for workflow run 144

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#129:Scheduled
  main

  Oct 18, 202617s
  More actions for workflow run 129

• Build and deploy site

  completed successfully:
  Build and deploy site#143:Scheduled
  main

  Oct 17, 202637s
  More actions for workflow run 143

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#128:Scheduled
  main

  Oct 17, 202615s
  More actions for workflow run 128

• Build and deploy site

  completed successfully:
  Build and deploy site#142:Scheduled
  main

  Oct 16, 20266m 29s
  More actions for workflow run 142

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#127:Scheduled
  main

  Oct 16, 202615s
  More actions for workflow run 127

• Build and deploy site

  completed successfully:
  Build and deploy site#141:Scheduled
  main

  Oct 15, 202640s
  More actions for workflow run 141

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#126:Scheduled
  main

  Oct 15, 202620s
  More actions for workflow run 126

• Build and deploy site

  completed successfully:
  Build and deploy site#140:Scheduled
  main

  Oct 14, 202644s
  More actions for workflow run 140

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#125:Scheduled
  main

  Oct 14, 202617s
  More actions for workflow run 125

• Build and deploy site

  completed successfully:
  Build and deploy site#139:Scheduled
  main

  Oct 13, 202647s
  More actions for workflow run 139

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#124:Scheduled
  main

  Oct 13, 202617s
  More actions for workflow run 124

• Clean en-dashes and vocabulary in module descriptions

  completed successfully:
  Build and deploy site#138:Commit4c26f87pushedbytimlichtenberg
  main

  Oct 13, 20262m 4s
  More actions for workflow run 138

• Clean en-dashes and vocabulary in module descriptions

  completed successfully:
  Refresh coverage badges#123:Commit4c26f87pushedbytimlichtenberg
  main

  Oct 13, 202614s
  More actions for workflow run 123

• Build and deploy site

  completed successfully:
  Build and deploy site#137:Scheduled
  main

  Oct 12, 202646s
  More actions for workflow run 137

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#122:Scheduled
  main

  Oct 12, 202622s
  More actions for workflow run 122

• Build and deploy site

  completed successfully:
  Build and deploy site#136:Scheduled
  main

  Oct 11, 202636s
  More actions for workflow run 136

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#121:Scheduled
  main

  Oct 11, 202613s
  More actions for workflow run 121

• Build and deploy site

  completed successfully:
  Build and deploy site#135:Scheduled
  main

  Oct 10, 202638s
  More actions for workflow run 135

• Refresh coverage badges

  completed successfully:
  Refresh coverage badges#120:Scheduled
  main

  Oct 10, 202616s
  More actions for workflow run 120

• Build and deploy site

  completed successfully:
  Build and deploy site#134:Scheduled
  main

  Oct 9, 202643s
  More actions for workflow run 134