wojtek/musichoard
1
0
Fork 0
Code Issues 12 Pull Requests Actions Packages Projects 1 Releases 2 Wiki Activity

Make database and library optional #86

Merged
wojtek merged 4 commits from 25---make-database-and-library-optional into main 2024-01-07 11:07:36 +01:00
Conversation 0 Commits 4 Files Changed 6 +6 -1
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 115373667f - Show all commits

7
.gitea/scripts/coverage.py
View File

@ -1,12 +1,17 @@
import argparse import argparse
import json import json
import sys
def main(coverage_file, fail_under): def main(coverage_file, fail_under):
with open(coverage_file, encoding="utf-8") as f: with open(coverage_file, encoding="utf-8") as f:
coverage_json = json.load(f) coverage_json = json.load(f)
coverage = float(coverage_json["message"][:-1]) coverage = float(coverage_json["message"][:-1])
return coverage >= fail_under print(f"Code coverage: {coverage:.2f}%; Threshold: {fail_under:.2f}%")
success = coverage >= fail_under
if coverage < fail_under:
print("Insufficient code coverage", file=sys.stderr)
return success
if __name__ == "__main__": if __name__ == "__main__":