Mirror the docker-rocq repository.

coq · Oct 28, 2024 · 050c9a1 · 050c9a1
1 parent 3dd0339
commit 050c9a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bot.ml b/src/bot.ml
@@ -272,7 +272,7 @@ let callback _conn req body =
       | Ok (Some install_id, PushEvent {owner; repo; base_ref; head_sha; _})
         -> (
         match (owner, repo) with
-        | "coq-community", ("docker-base" | "docker-coq") ->
+        | "coq-community", ("docker-base" | "docker-coq" | "docker-rocq") ->
             (fun () ->
               init_git_bare_repository ~bot_info
               >>= fun () ->