Adapt to coq/coq#19530. (#330)

coq · Dec 5, 2024 · 1d7655f · 1d7655f
2 parents 470f46d + 0dfe5a3
commit 1d7655f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"]