Repository navigation

Speed up the plotting UI - #21

Merged

winitzki merged 2 commits into

mainfrom

Sep 30, 2026

Merged

Speed up the plotting UI#21
winitzki merged 2 commits into
mainfrom
lazy-plots

Commits on Sep 29, 2026
- Draw only visible plots, load master commits on demand, batch DB queries
  Sergei Winitzki
  committed
  3ca4e17
Commits on Sep 30, 2026
- use esqueleto instead of literal sql queries
  Sergei Winitzki
  committed
  7e74c9e