Split the extra-checks job, take #2

2020-08-11 16:51:35 +02:00 · 2020-08-11 16:51:35 +02:00 · 541ade530f
parent c89c464746
commit 541ade530f
1 changed files with 3 additions and 2 deletions
--- a/tools/ci/inria/step-by-step-build/Jenkinsfile
+++ b/tools/ci/inria/step-by-step-build/Jenkinsfile
@ -20,8 +20,9 @@
 pipeline {
  agent { label 'ocaml-linux-64' }
  stages {
-    stage('Building the OCaml compiler step by step ' +
-      + '(without using the world.opt target)') {
+    stage(
+      'Building the OCaml compiler step by step (without using world.opt)'
+    ) {
      steps {
        sh 'tools/ci/inria/step-by-step-build/script'
      }