Add Jenkinsfile for PR job

This commit is contained in:
Darryl Green 2018-10-19 15:25:10 +01:00
parent 7a539a57d7
commit 37b35b13e6

1
tests/.jenkins/Jenkinsfile vendored Normal file
View file

@ -0,0 +1 @@
mbedtls.run_job()