diff --git a/Jenkinsfile b/Jenkinsfile index 3878549..23451e8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent any + agent {dockerfile true} stages { stage('ASR-eval copy artifacts') { steps {