diff --git a/dev/bench/render_line_results.ml b/dev/bench/render_line_results.ml index 9ace2ab914dd..0cd9ddd144a3 100644 --- a/dev/bench/render_line_results.ml +++ b/dev/bench/render_line_results.ml @@ -70,14 +70,15 @@ let read_timing_lines file = type html_data = { link_prefix : string } let get_html_data () = - match Sys.getenv_opt "CI_PROJECT_NAMESPACE", + match Sys.getenv_opt "CI_PAGES_DOMAIN", + Sys.getenv_opt "CI_PROJECT_NAMESPACE", Sys.getenv_opt "CI_PROJECT_NAME", Sys.getenv_opt "CI_JOB_ID" with - | Some ns, Some project, Some id -> + | Some domain, Some ns, Some project, Some id -> Some { link_prefix = - Printf.sprintf "https://%s.gitlab.io/-/%s/-/jobs/%s/artifacts/_bench/html/" - ns project id } - | None, _, _ | _, None, _ | _, _, None -> None + Printf.sprintf "https://%s.%s/-/%s/-/jobs/%s/artifacts/_bench/html/" + ns domain project id } + | None, _, _, _ | _, None, _, _ | _, _, None, _ | _, _, _, None -> None let html_str ?html lnum s = match html with | None -> Table.raw_str s