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