Merge branch 'mr/boris/ci-url' into 'master'

Stop printing the URL of the gitlab page

See merge request eng/toolchain/gnatcoll-core!160

Author: yakobowski

.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