Changes

Summary

Windows: trying to find out what is going wrong with our Python coverage tests. (details)

Commit 0709fae3a831be133b2de0825104f57c58ef9584 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)