Browse Source

Wrap parallel Jenkins tasks in a stage

chris-martin-patch-1
Alex Feldman-Crough 1 year ago
parent
commit
8a8543e37e
  1. 14
      .jenkins

14
.jenkins

@ -18,12 +18,14 @@ pipeline {
}
}
parallel {
stage('test') {
sh "cabal v2-test"
}
stage('docs') {
sh "./scripts/documentation-coverage"
stage('aux') {
parallel {
stage('test') {
sh "cabal v2-test"
}
stage('docs') {
sh "./scripts/documentation-coverage"
}
}
}
}

Loading…
Cancel
Save