// This is internal file to run tests in internal Jenkins
mbed.run_job()