4 Commits

Author	SHA1	Message	Date
Josef Kemetmüller	d22d030503	Fix rendering of metrics with special characters ... My main motivation here is to get metrics with brackets to work in order to support "pytest" test names: - test_foo.py::test_bar[1] - test_foo.py::test_bar[2] I couldn't find an "HTML escape"-style function that would generate valid html `id` attribute names from random strings, so I went with a hash digest instead.	2025-02-27 09:25:42 +01:00
Eelco Dolstra	8adb433e3b	Remove the Jobs table ... This table has been superfluous for a long time.	2020-05-27 20:09:36 +02:00
Eelco Dolstra	3e2911803d	Add link to metrics	2016-03-25 13:57:17 +01:00
Eelco Dolstra	dab16fb26b	Lazy load the metrics tab	2016-03-25 13:49:06 +01:00