[Typing] Skip coverage check if title has typing (#65058)

tools/get_pr_title.py

@@ -14,10 +14,22 @@
 
 import json
 import os
+import re
 import sys
 
 import requests
 
+SKIP_COVERAGE_CHECKING_LABELS = [
+    "cinn",
+    "typing",
+]
+
+SKIP_COVERAGE_CHECKING_REGEX = re.compile(
+    rf"[\[【]({'|'.join(SKIP_COVERAGE_CHECKING_LABELS)})[\]】]",
+    re.IGNORECASE,
+)
+
+
 pr_id = os.getenv('GIT_PR_ID')
 if not pr_id:
     print('PREC No PR ID')
@@ -32,9 +44,10 @@
 
 title = data['title']
 
-prefixes = ['【CINN】', '[CINN]', '[cinn]', '【cinn】']
-if any(title.startswith(prefix) for prefix in prefixes):
-    print('The title starts with cinn')
+if match_obj := SKIP_COVERAGE_CHECKING_REGEX.search(title):
+    print(f'The title starts with {match_obj.group(0)}')
 else:
-    print('The title does not start with cinn')
+    print(
+        f'The title does not start with {" or ".join(SKIP_COVERAGE_CHECKING_LABELS)}'
+    )
     sys.exit(1)