diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 54e203a8020e0aaf8d8212bcd141d65eba5d3d7e..46bcd2eef83466371d2bd1c152288c963b71bad7 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -155,6 +155,7 @@ def pre_test_mac() { return 1 } pipeline { + agent none options { skipDefaultCheckout() } environment{ WK = '/var/data/jenkins/workspace/TDinternal'