mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-09-11 20:59:56 +00:00
Merge pull request #2122 from dgreen-arm/mbedtls-2.7-jenkinsfile
Backport 2.7: 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