| commit | e45e63cbbc350b35bfd5e3140004caac92dc5ae2 | [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:26:49 2018 +0100 |
| tree | 2d68973cdae3050c29fda87a73fcd672c964b7e5 | |
| parent | 5bcbd4e7f43356e25bde3aa9899ebdef1f42f170 [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()