From c19b0de75bfebe1e5c62ae4fd4444992694f038c Mon Sep 17 00:00:00 2001 From: Janos Follath Date: Fri, 23 Aug 2019 10:59:19 +0100 Subject: [PATCH] Change CI job to development --- tests/.jenkins/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/.jenkins/Jenkinsfile b/tests/.jenkins/Jenkinsfile index ed04053d22..83ddac9b5b 100644 --- a/tests/.jenkins/Jenkinsfile +++ b/tests/.jenkins/Jenkinsfile @@ -1 +1 @@ -mbedtls.run_job() +mbedtls.run_development_job()