From 0dfe5a32265db7d2666303d0ce1ed1ce4fc46aa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Thu, 14 Nov 2024 16:28:48 +0100 Subject: [PATCH] Adapt to coq/coq#19530. --- src/actions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/actions.ml b/src/actions.ml index d1eb17f8..ab739ab7 100644 --- a/src/actions.ml +++ b/src/actions.ml @@ -241,7 +241,7 @@ let send_doc_url_job ~bot_info ?(fallback_artifacts = []) job_info doc_key let send_doc_url ~bot_info ~github_repo_full_name job_info = match (github_repo_full_name, job_info.build_name) with - | "coq/coq", "doc:refman" -> + | "coq/coq", ("doc:refman" | "doc:ci-refman") -> (* Used to be a non-Dune job, now a Dune job, thus we need a fallback *) send_doc_url_job ~bot_info ~fallback_artifacts:["_install_ci/share/doc/coq/sphinx/html/index.html"]