diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 662cdb701166ad07ea6f2129dd5be94167b77023..dba37cf295ce00f3538c027a8165f80e000bc6b0 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -275,20 +275,6 @@ pipeline { } } parallel { - stage ('build worker08_arm32') { - agent {label " worker08_arm32"} - steps { - timeout(time: 20, unit: 'MINUTES') { - pre_test() - script { - sh ''' - echo "worker08_arm32 build done" - date - ''' - } - } - } - } stage ('build worker07_arm64') { agent {label " worker07_arm64 "} steps {