From 76a8a14445543129f76b9fd6fc37e03604a491bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 30 Aug 2023 18:13:18 +0200 Subject: [PATCH] Fix hardcoded references to GitLab Pages for the Coq repo. --- src/actions.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/actions.ml b/src/actions.ml index 3425ce78..85b0c6d7 100644 --- a/src/actions.ml +++ b/src/actions.ml @@ -258,7 +258,7 @@ let send_doc_url_job ~bot_info ?(fallback_artifacts = []) job_info doc_key doc_key <&> let build_url artifact = - f "https://coq.gitlab.io/-/coq/-/jobs/%d/artifacts/%s" job_info.build_id + f "https://coq.gitlabpages.inria.fr/-/coq/-/jobs/%d/artifacts/%s" job_info.build_id artifact in send_doc_url_aux ~bot_info job_info @@ -305,7 +305,7 @@ let fetch_bench_results ~job_info () = else Lwt.return_error (f "Recieved status %d from %s." status_code url) in let artifact_url file = - f "https://coq.gitlab.io/-/coq/-/jobs/%d/artifacts/_bench/timings/%s" + f "https://coq.gitlabpages.inria.fr/-/coq/-/jobs/%d/artifacts/_bench/timings/%s" job_info.build_id file in let* summary_table = artifact_url "bench_summary" |> fetch_artifact in