diff --git a/tests/API-dhcp/Jenkinsfile b/tests/API-dhcp/Jenkinsfile index 4767f58..15498d2 100644 --- a/tests/API-dhcp/Jenkinsfile +++ b/tests/API-dhcp/Jenkinsfile @@ -33,7 +33,7 @@ pipeline { steps { dir ('tests/API-dhcp') { echo "Destroy API server for DHCP with Vagrant" - sh 'vagrant destroy -f' + // sh 'vagrant destroy -f' } } }