Merge pull request #17 from chrisc-xmos/patch-1

Force manual approval of Jenkins runs
xmos · Jun 14, 2019 · d6b2a41 · d6b2a41
2 parents 82a0e34 + fab83db
commit d6b2a41
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,5 @@
 @Library('xmos_jenkins_shared_library@master') _
+getApproval()
 pipeline {
   agent {
     label 'x86&&macOS&&Apps'