bug-minimizer: link to run-coq-bug-minimizer/actions more

coq · Sep 17, 2024 · 1fe0fa4 · 1fe0fa4
1 parent 7ce706b
commit 1fe0fa4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/actions.ml b/src/actions.ml
@@ -1561,8 +1561,10 @@ let minimize_failed_tests ~bot_info ~owner ~repo ~pr_number
                      at commit %s.%s"
                     head try_again_msg
               | _ :: _ ->
+                  (* TODO: change https://github.com/coq-community/run-coq-bug-minimizer/actions to a link to the particular action run when we can get that information *)
                   f
-                    "I am now %s minimization at commit %s on %s. I'll come \
+                    "I am now [%s minimization](https://github.com/coq-community/run-coq-bug-minimizer/actions) \
+                     at commit %s on %s. I'll come \
                      back to you with the results once it's done.%s"
                     (if Option.is_none bug_file then "running" else "resuming")
                     head