Report a bit more information on unsupported github events

This will make it easier to add more events in the future.
coq · Mar 7, 2024 · 3f7dd98 · 3f7dd98
1 parent 1122573
commit 3f7dd98
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bot-components/GitHub_subscriptions.ml b/bot-components/GitHub_subscriptions.ml
@@ -198,7 +198,7 @@ let github_action ~event ~action json =
   | "check_suite", "requested" ->
       Ok (CheckSuiteRequested (check_suite_info_of_json json))
   | _ ->
-      Ok (UnsupportedEvent "Unsupported GitHub action.")
+      Ok (UnsupportedEvent (f "Unsupported GitHub action %s / %s." event action))
 
 let github_event ~event json =
   match event with
@@ -225,7 +225,7 @@ let github_event ~event json =
       | ref_type ->
           Error (f "Unexpected ref_type: %s" ref_type) )
   | _ ->
-      Ok (UnsupportedEvent "Unsupported GitHub event.")
+      Ok (UnsupportedEvent (f "Unsupported GitHub event %s." event))
 
 let receive_github ~secret headers body =
   let open Result in