diff --git a/Jenkinsfile b/Jenkinsfile index ecb650bea..4abd28c5d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,3 @@ -def progressBadge = addEmbeddableBadgeConfiguration(id: "totalProgress", subject: "Total Progress") - pipeline { agent any stages { @@ -22,12 +20,6 @@ pipeline { sh 'make -j4 VERSION=us' } } - stage('Update Progress') { - steps { - progress = sh(script: 'python3 progress.py badge1',returnStdout: true).trim() - progressBadge.setStatus(progress) - } - } } environment { QEMU_IRIX = credentials('qemu-irix') 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({