Change CI job to development

This commit is contained in:
Janos Follath 2019-08-23 10:59:19 +01:00
parent 14d7c562e1
commit c19b0de75b

View file

@ -1 +1 @@
mbedtls.run_job()
mbedtls.run_development_job()