mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-10-15 05:17:23 +00:00
Merge pull request #2121 from dgreen-arm/mbedtls-jenkinsfile
Add Jenkinsfile for PR job
This commit is contained in:
Vendored
+1
@@ -0,0 +1 @@
|
|||||||
|
mbedtls.run_job()
|
||||||
Reference in New Issue
Block a user