李衍志523370910113
18df2ef1c0
All checks were successful
build / build (push) Successful in 2m18s
- basic generation of json files
- supported parsers:
- healthcheck
- result-detail
- result-status
- file
- log
- dummy
- keyword (keyword, clangtidy, cppcheck, cpplint)
- diff
- `convert` functions is mature, tested in engr151-24fa last two homeworks and engr151-24fa p3
- teapot and healthcheck should be up to date
Co-authored-by: Boming Zhang <bomingzh@sjtu.edu.cn>
Reviewed-on: #10
Reviewed-by: Boming Zhang <bomingzh@sjtu.edu.cn>
Co-authored-by: jon-lee <jon-lee@sjtu.edu.cn>
Co-committed-by: jon-lee <jon-lee@sjtu.edu.cn>
30 lines
730 B
Python
30 lines
730 B
Python
import socket
|
|
from pathlib import Path
|
|
from typing import List
|
|
|
|
from pydantic import BaseModel, Field
|
|
|
|
|
|
class Files(BaseModel):
|
|
required: List[str] = []
|
|
immutable: List[str] = []
|
|
|
|
|
|
class Groups(BaseModel):
|
|
name: List[str] = []
|
|
max_count: List[int] = []
|
|
time_period_hour: List[int] = []
|
|
|
|
|
|
class Config(BaseModel):
|
|
max_size: float = Field(10, ge=0)
|
|
files: Files = Files()
|
|
sandbox_token: str = Field("")
|
|
max_total_score: int = Field(100)
|
|
force_skip_health_check_on_test: bool = False
|
|
force_skip_teapot_on_test: bool = False
|
|
groups: Groups = Groups()
|
|
root: Path = Path(".")
|
|
path: Path = Path("repo.toml")
|
|
grading_repo_name: str = f"{socket.gethostname().split('-')[0]}-joj"
|