Replace ci/coverage.sh with dev/coverage.py
The new script is written in Python and is therefore more robust and easier to modify if needed.
parent
e7988741
Please register or sign in to comment
The new script is written in Python and is therefore more robust and easier to modify if needed.