From 93134bb0d4ca020e89549ec90732dd3db3326a79 Mon Sep 17 00:00:00 2001
From: val <valandil211@protonmail.com>
Date: Sat, 18 Dec 2021 01:22:15 -0500
Subject: [PATCH] Try to add total progress as a badge. (#99)

---
 Jenkinsfile | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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')