diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 65fcc056..b20ea520 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -258,7 +258,6 @@ build_and_test_coverage:
     - echo_coverage_stats --coverage-file $CI_PROJECT_DIR/coverage/xml/index.xml
 
     - publish-pages ./coverage/dhtml/ --job
-    - echo "https://pages.gitlab.adacore-it.com/$CI_PROJECT_PATH/jobs/$CI_JOB_ID/index.html"
 
     # We previously prevented the pipeline from halting if a test failed, to make
     # sure all tests were run. If a test failed now we exit with a non-zero code