Repository navigation

Filter row for large results tables and the Data Tables - #172

Merged

danyill merged 8 commits into

mainfrom

feat/table-filter-bar

Nov 7, 2026

Merged

Filter row for large results tables and the Data Tables#172
danyill merged 8 commits into
mainfrom
feat/table-filter-bar

Commits on Nov 6, 2026
- Filter row for large results tables and the Data Tables
  danyill
  committed
  d10e99b
- Filter bar: satisfy mypy
  danyill
  committed
  ed690fa
Commits on Nov 7, 2026