diff --git a/Jenkinsfile b/Jenkinsfile index 884fe7c..bd0e030 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { dockerfile { - label 'arm' + label 'armv7hl' filename 'Containerfile' args '-u 0:0 -v /etc/ssh/ssh_known_hosts:/etc/ssh/ssh_known_hosts:ro'