diff options
| author | Ben Sima <ben@bensima.com> | 2025-11-26 13:08:11 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-11-26 13:08:11 -0500 |
| commit | e6c0c8ffdb4e0af8c7c1c0f33db4854e1dba6364 (patch) | |
| tree | d3280dbb0f116e9b9c627f101995c8cf2b52d1ef /Omni/Jr.hs | |
| parent | 555d5d416e2001d04145b173aa40fd40f656509d (diff) | |
Add stats page (GET /stats)
All the necessary components are in place: 1. Route added to API type
(`GET /stats` with optional `?epic=` query pa 2. `StatsPage` data
type defined 3. `ToHtml` instance for `StatsPage` with all sections
(By Status, By Pr 4. `statsHandler` function to handle the route
5. Handler connected in `server` 6. Link to stats page added to the
dashboard 7. CSS styles for progress bars and stats sections added
(including dark
Task-Id: t-1o2g8gugkr1.10
Diffstat (limited to 'Omni/Jr.hs')
0 files changed, 0 insertions, 0 deletions