[pull] main from alexjustesen:main#156

Merged

pull[bot] merged 3 commits intonandi95:mainfrom

alexjustesen:main

Dec 8, 2025

Commits on Dec 8, 2025

chore: round ping value to two decimal places in latest result stats (#2520)
svenvg93
authored
bug; fix last result not using the display_timezone env var (#2522)

svenvg93
and
alexjustesen
authored
Combine result server columns (#2526)
alexjustesen
authored