Changes

Summary

  1. Windows: trying to find out what is going wrong with our Python coverage tests. (details)
Commit c9bc9c83aabc7a65fc149eaa03764fb2b022004b by Alan Garny
Windows: trying to find out what is going wrong with our Python coverage tests.

Indeed, they regularly fail on our CI Windows machine...!?
The file was modified ci.bat (diff)