Merge pull request #33447 from ClickHouse/rerun_docs_release

Rerun docs release check as well

tests/ci/docs_release.py

@@ -2,6 +2,7 @@
 import logging
 import subprocess
 import os
+import sys
 
 from github import Github
 
@@ -13,6 +14,7 @@ from ssh import SSHKey
 from upload_result_helper import upload_results
 from docker_pull_helper import get_image_with_version
 from commit_status_helper import get_commit
+from rerun_helper import RerunHelper
 
 NAME = "Docs Release (actions)"
 
@@ -22,9 +24,12 @@ if __name__ == "__main__":
     temp_path = TEMP_PATH
     repo_path = REPO_COPY
 
-    pr_info = PRInfo(need_changed_files=True)
-
     gh = Github(get_best_robot_token())
+    pr_info = PRInfo(need_changed_files=True)
+    rerun_helper = RerunHelper(gh, pr_info, NAME)
+    if rerun_helper.is_already_finished_by_status():
+        logging.info("Check is already finished according to github status, exiting")
+        sys.exit(0)
 
     if not os.path.exists(temp_path):
         os.makedirs(temp_path)

tests/ci/workflow_approve_rerun_lambda/app.py

@@ -41,6 +41,7 @@ TRUSTED_ORG_IDS = {
 
 NEED_RERUN_WORKFLOWS = {
     13241696, # PR
+    14738810, # DocsRelease
     15834118, # Docs
     15522500, # MasterCI
     15516108, # ReleaseCI