Add Jenkinsfile for PR job

This commit is contained in:
Darryl Green
2018-10-19 15:26:49 +01:00
parent 5bcbd4e7f4
commit e45e63cbbc
+1
View File
@@ -0,0 +1 @@
mbedtls.run_job()