diff --git a/tests/.jenkins/Jenkinsfile b/tests/.jenkins/Jenkinsfile index ed04053d2..83ddac9b5 100644 --- a/tests/.jenkins/Jenkinsfile +++ b/tests/.jenkins/Jenkinsfile @@ -1 +1 @@ -mbedtls.run_job() +mbedtls.run_development_job()