diff --git a/dev-tools/scripts/githubPRs.py b/dev-tools/scripts/githubPRs.py index dcecd7e9cdbd..b6d425c17bfd 100755 --- a/dev-tools/scripts/githubPRs.py +++ b/dev-tools/scripts/githubPRs.py @@ -25,15 +25,14 @@ import argparse import json import re -from typing import TYPE_CHECKING, Any, cast +from typing import TYPE_CHECKING, Any from github import Github from jinja2 import BaseLoader, Environment -from jira import JIRA, Issue +from jira import JIRA if TYPE_CHECKING: from github.PullRequest import PullRequest - from jira.client import ResultList def read_config(): @@ -114,7 +113,8 @@ def main(): issue_ids.append(jira_issue_str) issue_to_pr[jira_issue_str] = pr - resolved_jiras = cast("ResultList[Issue]", jira.search_issues(jql_str="key in (%s) AND status in ('Closed', 'Resolved')" % ", ".join(issue_ids))) + resolved_jiras = jira.search_issues(jql_str="key in (%s) AND status in ('Closed', 'Resolved')" % ", ".join(issue_ids)) + assert not isinstance(resolved_jiras, dict) closed_jiras: list[dict[str, Any]] = [] for issue in resolved_jiras: pr_title = issue_to_pr[issue.key].title diff --git a/dev-tools/scripts/requirements.txt b/dev-tools/scripts/requirements.txt index f64d88aed4ea..be148a8853a1 100644 --- a/dev-tools/scripts/requirements.txt +++ b/dev-tools/scripts/requirements.txt @@ -11,7 +11,7 @@ console-menu==0.8.0 # pull request processing in githubPRs PyGithub==2.8.1 # JIRA processing in githubPRs -jira==3.8.0 +jira==3.10.5 # type-checking in "make lint" basedpyright==1.31.7 # linting in "make lint"