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
..
2022-06-26 16:37:08 -07:00
2023-03-18 23:02:11 +01:00
2023-06-12 20:59:09 +02:00
2022-10-02 19:56:44 +02:00