Skip to content

Improve junit output

Ricardo Ribalda Delgado requested to merge improve-junit into main

There is one bug fix:

write_junit: Update statistics when merging

and the rest are simply quality of life patches

Merge request reports