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

andrewgait merged 1 commit into
mainfrom
120-fix-progress-bar-at-head-of-course-notes

Add some rough timings to try fix of progress bar

f492e52
Select commit
Loading
Failed to load commit list.
Sign in for the full log view