diff --git a/iris-bot b/iris-bot
index 8f2b361143ed4fa2fac35093e32f4a1d4885d162..96c7e19b45cec2c323952651c5c7fc3f4868be9f 100755
--- a/iris-bot
+++ b/iris-bot
@@ -140,7 +140,9 @@ def time(args):
     else:
         test_pipeline = trigger_build(project['name'], args.test_rev, vars)
         print("    Test pipeline (on non-standard branch {}) running at {}".format(args.test_rev, test_pipeline['web_url']))
-    print("    Once done, timing comparison will be available at https://coq-speed.mpi-sws.org/d/1QE_dqjiz/coq-compare?orgId=1&var-project={}&var-branch1=@hoc&var-commit1={}&var-config1={}&var-branch2=@hoc&var-commit2={}&var-config2={}".format(project['name'], base_pipeline['sha'], id+"-base", test_pipeline['sha'], id+"-test"))
+    url = "https://coq-speed.mpi-sws.org/d/1QE_dqjiz/coq-compare?orgId=1&var-project={}&var-branch1=@hoc&var-commit1={}&var-config1={}&var-branch2=@hoc&var-commit2={}&var-config2={}".format(project['name'], base_pipeline['sha'], id+"-base", test_pipeline['sha'], id+"-test")
+    print("    Once done, timing comparison will be available at {}".format(url))
+    print("    Markdown link: [{}]({})".format(project_name, url))
 
 # Dispatch
 if __name__ == "__main__":