diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 36652ff695d8a7fcdb13e6bfad8bfd797436f31f..9e13b15d25dabcb2ba563de315f761fce8d52adc 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -247,14 +247,14 @@ pipeline { } } parallel { - stage ('build worker06_arm64') { - agent {label " worker06_arm64 "} + stage ('build worker08_arm32') { + agent {label " worker08_arm32 "} steps { timeout(time: 20, unit: 'MINUTES') { pre_test() script { sh ''' - echo "worker06_arm64 build done" + echo "worker08_arm32 build done" date ''' }