Skip to content

Add some rough timings to try fix of progress bar - #131

Merged
andrewgait merged 1 commit into
mainfrom
120-fix-progress-bar-at-head-of-course-notes
Nov 13, 2026
Merged

Add some rough timings to try fix of progress bar#131
andrewgait merged 1 commit into
mainfrom
120-fix-progress-bar-at-head-of-course-notes

Commits

  1. Commits on Nov 13, 2026