diff --git a/Jenkinsfile b/Jenkinsfile index 05b92d6..3d8ddc5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,9 +19,11 @@ pipeline { stages { stage('Build compile-r7rs') { - docker { - image "schemers/chicken:5" - label "docker-x86_64" + agent { + docker { + image "schemers/chicken:5" + label "docker-x86_64" + } } steps { sh "git clone https://gitea.scheme.org/Retropikzel/compile-r7rs.git"