Update Jenkinsfile (#97)

* Update Jenkinsfile

* Update progress.py

* Update Jenkinsfile
This commit is contained in:
MegaMech
2021-12-16 02:42:33 -07:00
committed by GitHub
parent 1702697b73
commit a99a739216
2 changed files with 11 additions and 0 deletions
+3
View File
@@ -272,6 +272,9 @@ if args.format == 'csv':
str(TotalNonMatchingFunctions), str(TotalMipsToCFunctions)]
print(",".join(csv_list))
elif args.format == 'badge1':
print(round(srcPct, 2)+"%")
elif args.format == 'shield-json':
# https://shields.io/endpoint
print(json.dumps({