diff --git a/Jenkinsfile b/Jenkinsfile index d276992..471b1cf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,9 +14,9 @@ pipeline { stage('Tests x86_64 Debian') { agent { - dockerfile { + docker { label 'docker-x86_64' - filename 'Dockerfile.jenkins' + image 'retropikzel1/compile-r7rs' args '--user=root --privileged -v /var/run/docker.sock:/var/run/docker.sock' } }