feat: lower case run id

This commit is contained in:
张泊明518370910136 2024-10-30 19:32:30 -04:00
parent 37f89ae57b
commit f911eacf00
GPG Key ID: CA088E6D9284F870
2 changed files with 4 additions and 4 deletions

View File

@ -464,7 +464,7 @@ def joj3_all(
"", "",
help="commit hash that triggers gitea actions", help="commit hash that triggers gitea actions",
), ),
run_ID: str = Argument( run_id: str = Argument(
"unknown", "unknown",
help="JOJ3 run ID", help="JOJ3 run ID",
), ),
@ -507,7 +507,7 @@ def joj3_all(
submitter, submitter,
commit_hash, commit_hash,
submitter_in_issue_title, submitter_in_issue_title,
run_ID, run_id,
) )
title_prefix = joj3.get_title_prefix(title) title_prefix = joj3.get_title_prefix(title)
joj3_issue: focs_gitea.Issue joj3_issue: focs_gitea.Issue

View File

@ -187,7 +187,7 @@ def generate_title_and_comment(
submitter: str, submitter: str,
commit_hash: str, commit_hash: str,
submitter_in_title: bool = True, submitter_in_title: bool = True,
run_ID: str = "unknown", run_id: str = "unknown",
) -> Tuple[str, str]: ) -> Tuple[str, str]:
with open(score_file_path) as json_file: with open(score_file_path) as json_file:
stages: List[Dict[str, Any]] = json.load(json_file) stages: List[Dict[str, Any]] = json.load(json_file)
@ -203,7 +203,7 @@ def generate_title_and_comment(
f"Generated at {now} from [Gitea Actions #{run_number}]({action_link}), " f"Generated at {now} from [Gitea Actions #{run_number}]({action_link}), "
f"commit {commit_hash}, " f"commit {commit_hash}, "
f"triggered by @{submitter}, " f"triggered by @{submitter}, "
f"run ID {run_ID}.\n" f"run ID `{run_id}`.\n"
"Powered by [JOJ3](https://github.com/joint-online-judge/JOJ3) and " "Powered by [JOJ3](https://github.com/joint-online-judge/JOJ3) and "
"[Joint-Teapot](https://github.com/BoYanZh/Joint-Teapot) with ❤️.\n" "[Joint-Teapot](https://github.com/BoYanZh/Joint-Teapot) with ❤️.\n"
) )