diff options
| author | MegaMech <MegaMech@users.noreply.github.com> | 2021-12-16 23:34:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 23:34:09 -0700 |
| commit | 8e5ad3368d41c644bb4d4a6685385c7eb8405e80 (patch) | |
| tree | cca91fae484b1fcf0d27156f57be82709fea0c43 /progress.py | |
| parent | a99a739216da5ffe5f76790b4156db7ecbb6ad8e (diff) | |
Revert "Update Jenkinsfile (#97)" (#98)
This reverts commit a99a739216da5ffe5f76790b4156db7ecbb6ad8e.
Diffstat (limited to 'progress.py')
| -rw-r--r-- | progress.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/progress.py b/progress.py index b084d27c2..a907280e3 100644 --- a/progress.py +++ b/progress.py @@ -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({ |