diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 61071a3..598b862 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { dockerfile { - label 'linux' + label 'linuxcontainer' dir 'ci' args '-v /home/jenkins/.ssh/known_hosts:/home/jenkins/.ssh/known_hosts:ro' }