Dan Albert 389d230ea3
Fix Python coverage reporting.
Apparently the fact that I want the coverage report to be XML isn't
enough of a hint that I want coverage.
2023-06-12 20:59:09 +02:00
..
2023-01-06 21:19:31 +01:00
2022-07-27 20:50:49 -07:00
2022-09-18 15:52:21 +02:00
2023-06-12 20:59:09 +02:00