diff --git a/Jenkinsfile b/Jenkinsfile index 1565e84..575195b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,11 @@ pipeline { } } + environment { + // Prepend common docker install paths to the environment PATH + PATH = "/usr/local/bin:/usr/bin:/bin:${env.PATH}" + } + stages { stage('Checkout') { steps {