feat: replace hardcode with repo_config

Author: lykimq

src/actions/job.ml

@@ -5,6 +5,7 @@ open Bot_components.GitHub_GitLab_sync
 open Git_utils
 open Utils
 open Lwt.Infix
+open Repo_config
 
 let job_action ~bot_info ~repo_config_table
     ({build_name; common_info= {http_repo_url}} as job_info) ~gitlab_mapping =
@@ -23,16 +24,49 @@ let job_action ~bot_info ~repo_config_table
         f "%s,projects/%d/jobs/%d" http_repo_url job_info.common_info.project_id
           job_info.build_id
       in
-      match (github_repo_full_name, job_info.build_name) with
-      | "rocq-prover/rocq", "bench" ->
-          Bench.update_bench_status ~bot_info ~repo_config_table ~job_info
-            (gh_owner, gh_repo) ~external_id ~number:pr_num
-      | _, _ -> (
+      let repo_config =
+        get_repo_config_opt ~owner:gh_owner ~repo:gh_repo repo_config_table
+      in
+      (* Original: hardcoded check for "rocq-prover/rocq", "bench"
+         Now: use repo_config.jobs.bench if available, fallback to hardcoded check *)
+      let is_bench_job =
+        match repo_config with
+        | Some config -> (
+          match config.jobs with
+          | Some jobs -> (
+            match jobs.bench with
+            | Some bench_job_name ->
+                String.equal job_info.build_name bench_job_name
+            | None ->
+                false )
+          | None ->
+              false )
+        | None ->
+            false
+      in
+      let is_rocq_bench =
+        String.equal github_repo_full_name "rocq-prover/rocq"
+        && String.equal job_info.build_name "bench"
+      in
+      if is_bench_job || is_rocq_bench then
+        Bench.update_bench_status ~bot_info ~repo_config_table ~job_info
+          (gh_owner, gh_repo) ~external_id ~number:pr_num
+      else
         match job_info.build_status with
         | "failed" ->
             let failure_reason = Option.value_exn job_info.failure_reason in
+            (* Original: hardcoded check for "rocq-prover/rocq" for rocq-specific handling
+               Now: use repo_config if available, fallback to hardcoded check *)
+            let is_rocq_repo =
+              match repo_config with
+              | Some config ->
+                  String.equal config.github_owner "rocq-prover"
+                  && String.equal config.github_repo "rocq"
+              | None ->
+                  String.equal github_repo_full_name "rocq-prover/rocq"
+            in
             let summary_builder, allow_failure_handler =
-              if String.equal github_repo_full_name "rocq-prover/rocq" then
+              if is_rocq_repo then
                 ( Job_status_rocq.rocq_summary_builder
                 , fun ~bot_info ~job_name ~job_url ~pr_num ~head_commit
                       (gh_owner, gh_repo) ~gitlab_repo_full_name ->
@@ -54,13 +88,8 @@ let job_action ~bot_info ~repo_config_table
             Job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
               job_info ~github_repo_full_name ~gitlab_domain
               ~gitlab_repo_full_name ~context ~state ~external_id
-            <&>
-            let repo_config =
-              Repo_config.get_repo_config_opt ~owner:gh_owner ~repo:gh_repo
-                repo_config_table
-            in
-            Documentation.send_doc_url ~bot_info ~github_repo_full_name
-              ?repo_config job_info
+            <&> Documentation.send_doc_url ~bot_info ~github_repo_full_name
+                  ?repo_config job_info
         | ("created" | "running") as state ->
             Job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
               job_info ~github_repo_full_name ~gitlab_domain
@@ -73,4 +102,4 @@ let job_action ~bot_info ~repo_config_table
                request. *)
             Lwt.return_unit
         | unknown_state ->
-            Lwt_io.printlf "Unknown job status: %s" unknown_state ) )
+            Lwt_io.printlf "Unknown job status: %s" unknown_state )

src/ci/job_status.ml

@@ -8,6 +8,7 @@ open String_utils
 open Git_utils
 open Lwt.Infix
 open Lwt.Syntax
+open Repo_config
 
 (******************************************************************************)
 (* Types                                                                      *)
@@ -289,9 +290,9 @@ let job_success_or_pending ~bot_info (gh_owner, gh_repo) job_info
   | Error e ->
       Lwt_io.printf "%s\n" e
 
-let pipeline_action ~bot_info ({common_info= {http_repo_url}} as pipeline_info)
-    ~gitlab_mapping ?(full_ci_check_repo = None)
-    ?(auto_minimize_on_failure = None) () =
+let pipeline_action ~bot_info ~repo_config_table
+    ({common_info= {http_repo_url}} as pipeline_info) ~gitlab_mapping
+    ?(full_ci_check_repo = None) ?(auto_minimize_on_failure = None) () =
   let pr_number, _ = pr_from_branch pipeline_info.common_info.branch in
   match pipeline_info.state with
   | "skipped" ->
@@ -310,8 +311,29 @@ let pipeline_action ~bot_info ({common_info= {http_repo_url}} as pipeline_info)
       | Error err ->
           Lwt_io.printlf "Error in pipeline action: %s" err
       | Ok (gh_owner, gh_repo) -> (
+          let repo_config =
+            Repo_config.get_repo_config_opt ~owner:gh_owner ~repo:gh_repo
+              repo_config_table
+          in
           let state, status, conclusion, title, summary_top =
             (* Check if this repo should have full CI detection *)
+            (* Original: hardcoded CI variable name "FULL_CI"
+               Now: use repo_config.ci_config.full_ci_variable if available, fallback to "FULL_CI" *)
+            let full_ci_variable_name =
+              match repo_config with
+              | Some config -> (
+                match config.ci_config with
+                | Some ci_config -> (
+                  match ci_config.full_ci_variable with
+                  | Some var_name ->
+                      var_name
+                  | None ->
+                      "FULL_CI" )
+                | None ->
+                    "FULL_CI" )
+              | None ->
+                  "FULL_CI"
+            in
             let full_ci =
               match full_ci_check_repo with
               | Some (check_owner, check_repo)
@@ -320,7 +342,7 @@ let pipeline_action ~bot_info ({common_info= {http_repo_url}} as pipeline_info)
                 try
                   List.find_map
                     ~f:(fun (key, value) ->
-                      if String.equal key "FULL_CI" then
+                      if String.equal key full_ci_variable_name then
                         Some (Bool.of_string value)
                       else None )
                     pipeline_info.variables

src/ci/job_status.mli

@@ -68,6 +68,7 @@ val job_success_or_pending :
 
 val pipeline_action :
      bot_info:Bot_components.Bot_info.t
+  -> repo_config_table:(string, Repo_config.t) Base.Hashtbl.t
   -> Bot_components.GitLab_types.pipeline_info
   -> gitlab_mapping:(string, string) Base.Hashtbl.t
   -> ?full_ci_check_repo:(string * string) option

src/config/repo_config.ml

@@ -259,3 +259,31 @@ let get_repo_config_opt ~owner ~repo repo_config_table =
 let has_repo_config ~owner ~repo repo_config_table =
   let key = f "%s/%s" owner repo in
   Hashtbl.mem repo_config_table key
+
+(** Check if a repository config has CI configuration *)
+let has_ci_config config = Option.is_some config.ci_config
+
+(** Check if a repository config has minimizer URL configured *)
+let has_minimizer config = Option.is_some config.minimizer_url
+
+(** Find first repository with CI configuration *)
+let find_repo_with_ci_config repo_config_table =
+  Hashtbl.fold repo_config_table ~init:None ~f:(fun ~key:_ ~data:config acc ->
+      match acc with
+      | Some _ ->
+          acc (* Already found one *)
+      | None when has_ci_config config ->
+          Some (config.github_owner, config.github_repo)
+      | None ->
+          None )
+
+(** Find first repository with minimizer URL configured *)
+let find_repo_with_minimizer repo_config_table =
+  Hashtbl.fold repo_config_table ~init:None ~f:(fun ~key:_ ~data:config acc ->
+      match acc with
+      | Some _ ->
+          acc (* Already found one *)
+      | None when has_minimizer config ->
+          Some (config.github_owner, config.github_repo)
+      | None ->
+          None )

src/config/repo_config.mli

@@ -50,3 +50,13 @@ val get_repo_config_opt :
 
 val has_repo_config :
   owner:string -> repo:string -> (string, t) Base.Hashtbl.t -> bool
+
+val has_ci_config : t -> bool
+
+val has_minimizer : t -> bool
+
+val find_repo_with_ci_config :
+  (string, t) Base.Hashtbl.t -> (string * string) option
+
+val find_repo_with_minimizer :
+  (string, t) Base.Hashtbl.t -> (string * string) option

src/webhooks/gitlab.ml

@@ -6,6 +6,7 @@ open Bot_components.GitHub_GitLab_sync
 open Job_status
 open Lwt.Infix
 open Utils
+open Repo_config
 
 let handle_gitlab_webhook ~bot_info ~key ~app_id ~gitlab_mapping
     ~repo_config_table ~gitlab_webhook_secret ~headers ~body =
@@ -37,10 +38,21 @@ let handle_gitlab_webhook ~bot_info ~key ~app_id ~gitlab_mapping
         (fun () ->
           Bot_components.Github_installations.action_as_github_app ~bot_info
             ~key ~app_id ~owner (fun ~bot_info ->
-              pipeline_action ~bot_info pipeline_info ~gitlab_mapping
-                ~full_ci_check_repo:(Some ("rocq-prover", "rocq"))
-                ~auto_minimize_on_failure:(Some ("rocq-prover", "rocq"))
-                () ) )
+              (* Original: hardcoded "rocq-prover", "rocq" for full_ci_check_repo and auto_minimize_on_failure
+                 Now: use repo_config if available, fallback to hardcoded values *)
+              let full_ci_repo =
+                Option.first_some
+                  (find_repo_with_ci_config repo_config_table)
+                  (Some ("rocq-prover", "rocq"))
+              in
+              let minimizer_repo =
+                Option.first_some
+                  (find_repo_with_minimizer repo_config_table)
+                  (Some ("rocq-prover", "rocq"))
+              in
+              pipeline_action ~bot_info ~repo_config_table pipeline_info
+                ~gitlab_mapping ~full_ci_check_repo:full_ci_repo
+                ~auto_minimize_on_failure:minimizer_repo () ) )
         |> Lwt.async ;
         Server.respond_string ~status:`OK ~body:"Pipeline event." () )
   | Ok (_, UnsupportedEvent e) ->