diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 3365e37..66c9f69 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { dockerfile { - label 'linux' + label 'linuxcontainer' dir 'ci' } }