JOJ/JOJ3-config-generator
27
1
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

feat: skip group config if not set
All checks were successful
build / build (push) Successful in 1m38s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-06-01 06:45:52 -04:00
parent b91b100dbf
commit a3488e3efb
Signed by: 张泊明518370910136
GPG Key ID: D47306D7062CDA9D
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
joj3_config_generator/transformers/repo.py
View File

@ -48,22 +48,24 @@ def get_health_check_args(repo_conf: repo.Config) -> List[str]:
def get_teapot_check_args(repo_conf: repo.Config) -> List[str]:
return [
res = [
"/usr/local/bin/joint-teapot",
"joj3-check-env",
str(TEAPOT_CONFIG_ROOT / "teapot.env"),
"--grading-repo-name",
repo_conf.grading_repo_name,
"--group-config",
",".join(
]
if repo_conf.groups:
group_config_str = ",".join(
f"{name}={max_count}:{time_period}"
for name, max_count, time_period in zip(
repo_conf.groups.name,
repo_conf.groups.max_count,
repo_conf.groups.time_period_hour,
)
),
]
)
res.extend(["--group-config", group_config_str])
return res
def get_health_check_stage(repo_conf: repo.Config) -> result.StageDetail: