All workflows

Workflow runs

• pages build and deployment

  currently running:
  pages-build-deployment#118:bygithub-pages[bot]Bot
  gh-pages

  Oct 22, 2026In progress

• deploy-website

  completed successfully:
  deploy-website#123:Scheduled
  main

  Oct 22, 202643m 13s
  More actions for workflow run 123

• pages build and deployment

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

  Oct 22, 202630s

• pages build and deployment

  cancelled:
  pages-build-deployment#116:bygithub-pages[bot]Bot
  gh-pages

  Oct 22, 202616s

• Link PEX4 (Examlet 4 practice)

  completed successfully:
  deploy-website#122:Commit9791ac1pushedbycheeren
  main

  Oct 22, 20263m 4s
  More actions for workflow run 122

• Examlet 5 and 6: Book links

  completed successfully:
  deploy-website#121:Commit6870228pushedbycheeren
  main

  Oct 22, 20265m 0s
  More actions for workflow run 121

• pages build and deployment

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

  Oct 22, 202632s

• Link lecture 16 and 17 recordings

  completed successfully:
  deploy-website#120:Commite7646e3pushedbycheeren
  main

  Oct 22, 20262m 23s
  More actions for workflow run 120

• pages build and deployment

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

  Oct 21, 202627s

• deploy-website

  completed successfully:
  deploy-website#119:Scheduled
  main

  Oct 21, 20263m 2s
  More actions for workflow run 119

• pages build and deployment

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

  Oct 21, 202629s

• Lecture 16: three traversal skeletons on the code slide (new .tinycod…

  completed successfully:
  deploy-website#118:Commite0d0f1dpushedbycheeren
  main

  Oct 21, 20263m 2s
  More actions for workflow run 118

• pages build and deployment

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

  Oct 21, 20261m 4s

• pages build and deployment

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

  Oct 21, 202628s

• pages build and deployment

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

  Oct 21, 202633s

• Link PA2

  completed successfully:
  deploy-website#117:Commitafe0ca7pushedbycheeren
  main

  Oct 21, 20263m 22s
  More actions for workflow run 117

• Link lab 5 (Trees)

  completed successfully:
  deploy-website#116:Commitbadd62epushedbycheeren
  main

  Oct 21, 20263m 5s
  More actions for workflow run 116

• Publish lectures 16 (traversals, with the traversal-tour viz) and 17 …

  completed successfully:
  deploy-website#115:Commit900a6c0pushedbycheeren
  main

  Oct 21, 20264m 43s
  More actions for workflow run 115

• pages build and deployment

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

  Oct 20, 202628s

• deploy-website

  completed successfully:
  deploy-website#114:Scheduled
  main

  Oct 20, 20266m 43s
  More actions for workflow run 114

• pages build and deployment

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

  Oct 19, 202625s

• deploy-website

  completed successfully:
  deploy-website#113:Scheduled
  main

  Oct 19, 20262m 53s
  More actions for workflow run 113

• pages build and deployment

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

  Oct 19, 202626s

• Lecture 15 moves to Monday 10/19 in class; later lectures shift one slot

  completed successfully:
  deploy-website#112:Commit7c894adpushedbycheeren
  main

  Oct 19, 20263m 3s
  More actions for workflow run 112

• pages build and deployment

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

  Oct 18, 202624s