diff options
| author | MegaMech <MegaMech@users.noreply.github.com> | 2021-12-16 02:42:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 02:42:33 -0700 |
| commit | a99a739216da5ffe5f76790b4156db7ecbb6ad8e (patch) | |
| tree | 9c6258b0442df1d0d1d3c3a5cfc89097e6ca4d1c /progress.py | |
| parent | 1702697b73f3f7cf5db3d2e84991fc493efb47cf (diff) | |
Update Jenkinsfile (#97)
* Update Jenkinsfile
* Update progress.py
* Update Jenkinsfile
Diffstat (limited to 'progress.py')
| -rw-r--r-- | progress.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/progress.py b/progress.py index a907280e3..b084d27c2 100644 --- a/progress.py +++ b/progress.py @@ -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({ |