Revert "Update Jenkinsfile (#97)" (#98)

This reverts commit a99a739216.
2026-09-09 19:31:16 -04:00 · 2021-12-16 23:34:09 -07:00
parent a99a739216
commit 8e5ad3368d
2 changed files with 0 additions and 11 deletions
@@ -272,9 +272,6 @@ 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({