update jenkinsfile

files/config/Jenkinsfile

@@ -11,26 +11,7 @@ pipeline {
         withChecks(name: 'Test', includeStage: true) {
           sh '''
             set -eux
-          make ci
+            make ci cobertura
-          '''
-        }
-        publishHTML(target: [
-          allowMissing: false,
-          alwaysLinkToLastBuild: true,
-          keepAll: true,
-          reportDir: 'target/llvm-cov/html',
-          reportFiles: 'index.html',
-          reportName: 'Rust Coverage HTML',
-          reportTitles: 'Coverage Report'
-        ])
-      }
-    } // Test
-
-    stage('Coverage') {
-      steps {
-        sh '''
-        set -eux
-        make cobertura
           '''
           recordCoverage(
             tools: [[parser: 'COBERTURA', pattern: 'target/llvm-cov/cobertura.xml']],
@@ -48,7 +29,24 @@ pipeline {
             ]
           )
         }
-    } // Cobertura
+      }
+    } // Test
+
+    stage('Reports') {
+      steps {
+        script {
+          publishHTML(target: [
+            allowMissing: false,
+            alwaysLinkToLastBuild: true,
+            keepAll: true,
+            reportDir: 'target/llvm-cov/html',
+            reportFiles: 'index.html',
+            reportName: 'Rust Coverage HTML',
+            reportTitles: 'Coverage Report'
+          ])
+        }
+      }
+    } // Reports
   }
 
   post {