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

feat: default health check score = 0

Browse Source
This commit is contained in:
张泊明518370910136 2025-05-30 06:46:04 -04:00
parent d4b84d30e5
commit 37acb8690a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
joj3_config_generator/models/repo.py
View File

@ -27,4 +27,4 @@ class Config(BaseModel):
root: Path = Path(".") root: Path = Path(".")
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(1) health_check_score: int = Field(0)

2
tests/convert/basic/task.json
View File

@ -89,7 +89,7 @@
{ {
"name": "healthcheck", "name": "healthcheck",
"with": { "with": {
"score": 1 "score": 0
} }
}, },
{ {