diff --git a/Jenkinsfile b/Jenkinsfile index b01497ead3165a0463b135e5389e65198a89ac48..6a54bbc746ba9482017f815c674141ef9f96305a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -451,7 +451,7 @@ pipeline { } stage('build'){ - agent{label " crashgen "} + agent{label " wintest "} steps { pre_test() script{