commit | 6d5db78b86c0b9ac8d37a35d1b1e8332d8d180fd | [log] [tgz] |
---|---|---|
author | Simon Butcher <simon.butcher@arm.com> | Sat Oct 27 18:01:49 2018 +0100 |
committer | Simon Butcher <simon.butcher@arm.com> | Sat Oct 27 18:01:49 2018 +0100 |
tree | 0023fae42407186852285fa7f53c4d21c95dc934 | |
parent | 2adf43a30b79197cf8d045c2052a31ee18b88c70 [diff] | |
parent | eb219391fa24543c3a064eecee4cb1ec50c25ede [diff] |
Merge remote-tracking branch 'public/pr/2037' into mbedtls-2.7
diff --git a/tests/.jenkins/Jenkinsfile b/tests/.jenkins/Jenkinsfile new file mode 100644 index 0000000..ed04053 --- /dev/null +++ b/tests/.jenkins/Jenkinsfile
@@ -0,0 +1 @@ +mbedtls.run_job()