| commit | c19b0de75bfebe1e5c62ae4fd4444992694f038c | [log] [tgz] |
|---|---|---|
| author | Janos Follath <janos.follath@arm.com> | Fri Aug 23 10:59:19 2019 +0100 |
| committer | Janos Follath <janos.follath@arm.com> | Fri Aug 23 10:59:19 2019 +0100 |
| tree | cdb809588f7bb8c36813b25c1fc4553a8fb3ed59 | |
| parent | 14d7c562e1150da219475cb90517b22224892006 [diff] |
Change CI job to development
diff --git a/tests/.jenkins/Jenkinsfile b/tests/.jenkins/Jenkinsfile index ed04053..83ddac9 100644 --- a/tests/.jenkins/Jenkinsfile +++ b/tests/.jenkins/Jenkinsfile
@@ -1 +1 @@ -mbedtls.run_job() +mbedtls.run_development_job()