ci/run-jjb.py: Update Jenkins server URL

Signed-off-by: Arthur She <arthur.she@linaro.org>
Change-Id: I396357ffddcb5e8736434d2b355d543080344bdb
diff --git a/ci/run-jjb.py b/ci/run-jjb.py
index 731ab18..e78b56b 100755
--- a/ci/run-jjb.py
+++ b/ci/run-jjb.py
@@ -41,7 +41,7 @@
                         '[jenkins]\n'
                         'user=%s\n'
                         'password=%s\n'
-                        'url=https://ci.trustedfirmware.org/\n' % (jjb_user, jjb_password))
+                        'url=https://mbedtls.trustedfirmware.org/\n' % (jjb_user, jjb_password))
     with open('jenkins_jobs.ini', 'w') as f:
         f.write(jenkins_jobs_ini)
     jjb_args.append('--conf=jenkins_jobs.ini')