Repository navigation
perf(web): resume syntax highlighting from completed lines - #11196
Merged
juliusmarminge merged 1 commit intoSep 11, 2026
Merged
juliusmarminge merged 1 commit into
juliusmarminge merged 1 commit into
MacroscopeApp / Macroscope - Correctness Check
skipped
Sep 11, 2026 in 4s
Diff unchanged
Diff unchanged since last completed correctness review.
Loading