| commit | 37b35b13e6a3f0c25bcd8a388454573fea28803b | [log] [tgz] |
|---|---|---|
| author | Darryl Green <darryl.green@arm.com> | Fri Oct 19 15:25:10 2018 +0100 |
| committer | Darryl Green <darryl.green@arm.com> | Fri Oct 19 15:25:57 2018 +0100 |
| tree | e6cec717d63404e6e10d2f026dc266755075cee5 | |
| parent | 7a539a57d797a3db021e9d1f8cbaf6794aa7c2ea [diff] |
Add Jenkinsfile for PR job
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()