florian pushed to main at florian/pdf-reporting 2026-09-21 20:09:07 +00:00
f775e1f1ed Improve naming different metrics.
florian pushed to main at florian/pdf-reporting 2026-09-21 19:47:37 +00:00
9247608a9f Integrate metrics from metrics.json into the report pdf.
florian pushed to main at florian/pdf-reporting 2026-09-21 19:30:36 +00:00
9d7df77923 Allow generation of metrics.json simply by accessing the artifacts folder.