diff --git a/Jenkinsfile b/Jenkinsfile index 481c0d7..0e03a82 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,11 +5,7 @@ pipeline { } stages { stage("Build") { - agent { - docker { - image 'schemers/sagittarius' - } - } + agent { docker { image 'schemers/sagittarius' } } steps { sh 'apt-get update && apt-get install -y make' sh 'make'