JOJ/Joint-Teapot
13
3
Fork 2
Code Issues 2 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix: joj3-check-env var name

Browse Source
This commit is contained in:
张泊明518370910136 2025-02-01 04:50:50 -05:00
parent 111526bac3
commit a0982f7eeb
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
joint_teapot/app.py
View File

@ -875,8 +875,7 @@ def joj3_check_env(
submit_count = 0 submit_count = 0
commits = repo.iter_commits(paths=scoreboard_file_name, since=since_git_format) commits = repo.iter_commits(paths=scoreboard_file_name, since=since_git_format)
for commit in commits: for commit in commits:
comment = commit.message.strip() lines = commit.message.strip().splitlines()
lines = comment.splitlines()
pattern = ( pattern = (
r"joj3: update scoreboard for (?P<exercise_name>.+?) " r"joj3: update scoreboard for (?P<exercise_name>.+?) "
r"by @(?P<submitter>.+) in " r"by @(?P<submitter>.+) in "
@ -907,12 +906,12 @@ def joj3_check_env(
use_group = False use_group = False
if name: if name:
comment += f"keyword `{name}` " comment += f"keyword `{name}` "
for group in groups or "":
if group.lower() == name.lower():
use_group = True
break
else: else:
use_group = True use_group = True
for group in groups or "":
if group.lower() == name.lower():
use_group = True
break
comment += ( comment += (
f"in last {time_period} hour(s): " f"in last {time_period} hour(s): "
f"submit count {submit_count}, " f"submit count {submit_count}, "