Add Jenkinsfile for PR job
This commit is contained in:
parent
0592ea772a
commit
b51e267bee
1 changed files with 1 additions and 0 deletions
1
tests/.jenkins/Jenkinsfile
vendored
Normal file
1
tests/.jenkins/Jenkinsfile
vendored
Normal file
|
@ -0,0 +1 @@
|
||||||
|
mbedtls.run_job()
|
Loading…
Reference in a new issue