try coverage

This commit is contained in:
2023-12-12 02:38:13 +01:00
parent 3e0a40eee9
commit 941aa141af
3 changed files with 17 additions and 3 deletions

View File

@@ -5,4 +5,5 @@ sh tests/start_tests.sh
cp tests/coverage/coverage.xml ./coverage.xml
cp tests/coverage/report.xml ./report.xml
# python3.10 tests/edit_source.py
python3.10 tests/get_coverage_percent.py