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

feat: support --no-submitter-in-issue-title in teapot
All checks were successful
build / build (push) Successful in 4m6s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-06-01 19:08:25 -04:00
parent 9a6b75da0a
commit 887c06b40e
Signed by: 张泊明518370910136
GPG Key ID: D47306D7062CDA9D
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
joj3_config_generator/models/repo.py
View File

@ -28,3 +28,4 @@ class Config(BaseModel):
path: Path = Path("repo.toml") path: Path = Path("repo.toml")
grading_repo_name: str = f"{socket.gethostname().split('-')[0]}-joj" grading_repo_name: str = f"{socket.gethostname().split('-')[0]}-joj"
health_check_score: int = Field(0) health_check_score: int = Field(0)
submitter_in_issue_title: bool = True

2
joj3_config_generator/transformers/repo.py
View File

@ -16,6 +16,8 @@ def get_teapot_stage(repo_conf: repo.Config) -> result.StageDetail:
"--max-total-score", "--max-total-score",
str(repo_conf.max_total_score), str(repo_conf.max_total_score),
] ]
if not repo_conf.submitter_in_issue_title:
args.append("--no-submitter-in-issue-title")
stage_conf = result.StageDetail( stage_conf = result.StageDetail(
name="teapot", name="teapot",