All workflows

Workflow runs

• ci

  completed successfully:
  ci#219:Scheduled
  main

  Sep 13, 202647s
  More actions for workflow run 219

• pages build and deployment

  completed successfully:
  pages-build-deployment#217:bygithub-pages[bot]Bot
  gh-pages

  Sep 6, 202642s

• ci

  completed successfully:
  ci#218:Scheduled
  main

  Sep 6, 202651s
  More actions for workflow run 218

• pages build and deployment

  completed successfully:
  pages-build-deployment#216:bygithub-pages[bot]Bot
  gh-pages

  Aug 30, 202639s

• ci

  completed successfully:
  ci#217:Scheduled
  main

  Aug 30, 202644s
  More actions for workflow run 217

• pages build and deployment

  completed successfully:
  pages-build-deployment#215:bygithub-pages[bot]Bot
  gh-pages

  Aug 25, 202640s

• Fix a few things in style.md (#98)

  completed successfully:
  ci#216:Commit8effbf3pushedbykammce
  main

  Aug 25, 202652s
  More actions for workflow run 216

• pages build and deployment

  completed successfully:
  pages-build-deployment#214:bygithub-pages[bot]Bot
  gh-pages

  Aug 23, 202632s

• ci

  completed successfully:
  ci#215:Scheduled
  main

  Aug 23, 202655s
  More actions for workflow run 215

• pages build and deployment

  completed successfully:
  pages-build-deployment#213:bygithub-pages[bot]Bot
  gh-pages

  Aug 16, 202646s

• ci

  completed successfully:
  ci#214:Scheduled
  main

  Aug 16, 202654s
  More actions for workflow run 214

• pages build and deployment

  completed successfully:
  pages-build-deployment#212:bygithub-pages[bot]Bot
  gh-pages

  Aug 9, 202632s

• ci

  completed successfully:
  ci#213:Scheduled
  main

  Aug 9, 20261m 5s
  More actions for workflow run 213

• pages build and deployment

  completed successfully:
  pages-build-deployment#211:bygithub-pages[bot]Bot
  gh-pages

  Aug 2, 202638s

• ci

  completed successfully:
  ci#212:Scheduled
  main

  Aug 2, 202656s
  More actions for workflow run 212

• pages build and deployment

  completed successfully:
  pages-build-deployment#210:bygithub-pages[bot]Bot
  gh-pages

  Jul 26, 202635s

• ci

  completed successfully:
  ci#211:Scheduled
  main

  Jul 26, 202653s
  More actions for workflow run 211

• pages build and deployment

  completed successfully:
  pages-build-deployment#209:bygithub-pages[bot]Bot
  gh-pages

  Jul 19, 202631s

• ci

  completed successfully:
  ci#210:Scheduled
  main

  Jul 19, 202653s
  More actions for workflow run 210

• pages build and deployment

  completed successfully:
  pages-build-deployment#208:bygithub-pages[bot]Bot
  gh-pages

  Jul 12, 202640s

• ci

  completed successfully:
  ci#209:Scheduled
  main

  Jul 12, 20261m 0s
  More actions for workflow run 209

• pages build and deployment

  completed successfully:
  pages-build-deployment#207:bygithub-pages[bot]Bot
  gh-pages

  Jul 5, 202639s

• ci

  completed successfully:
  ci#208:Scheduled
  main

  Jul 5, 202652s
  More actions for workflow run 208

• pages build and deployment

  completed successfully:
  pages-build-deployment#206:bygithub-pages[bot]Bot
  gh-pages

  Jun 28, 202645s

• ci

  completed successfully:
  ci#207:Scheduled
  main

  Jun 28, 202654s
  More actions for workflow run 207