message: Fix jenkins coverage reporting
diff: @@ -15,15 +15,20 @@ pipeline {
  }
  }
  stage("Sonar Master Scan") {
  - when {
  - branch "master"
  - }
  + when { branch "master" }
  steps {
  sh "yarn sonar \
  -Dsonar.host.url=${SONARQUBE_HOST} \
  -Dsonar.login=${SONARQUBE_TOKEN}"
  }
  }
  + stage("Record Master Coverage") {
  + when { branch "master" }
  + steps {
  + script { currentBuild.result = 'SUCCESS' }
  + step([$class: 'MasterCoverageAction', scmVars: [GIT_URL: env.GIT_URL]])
  + }
  + }
  stage("PR Sonar Scan and Coverage") {
  when {
  allOf {
  @@ -40,6 +45,7 @@ pipeline {
  -Dsonar.github.pullRequest=${env.CHANGE_ID} \
  -Dsonar.github.oauth=${GITHUB_SECRET}"
  + script { currentBuild.result = 'SUCCESS' }
  step([$class: 'CompareCoverageAction', scmVars: [GIT_URL: env.GIT_URL]])
  }
  }
  