feat: remove unused field
This commit is contained in:
parent
4ad897392e
commit
98d05a60b2
|
|
@ -31,11 +31,6 @@ def convert_joj3_conf(repo_conf: repo.Config, task_conf: task.Config) -> result.
|
||||||
# exact folder difference specified by type
|
# exact folder difference specified by type
|
||||||
log_path=str(JOJ3_LOG_BASE_PATH / task_conf.suffix / JOJ3_LOG_FILENAME),
|
log_path=str(JOJ3_LOG_BASE_PATH / task_conf.suffix / JOJ3_LOG_FILENAME),
|
||||||
actor_csv_path=str(ACTOR_CSV_PATH), # students.csv position
|
actor_csv_path=str(ACTOR_CSV_PATH), # students.csv position
|
||||||
max_total_score=(
|
|
||||||
repo_conf.max_total_score
|
|
||||||
if not task_conf.max_total_score
|
|
||||||
else task_conf.max_total_score
|
|
||||||
),
|
|
||||||
sandbox_token=repo_conf.sandbox_token,
|
sandbox_token=repo_conf.sandbox_token,
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -155,7 +155,6 @@ class Config(BaseModel):
|
||||||
name: str = ""
|
name: str = ""
|
||||||
log_path: str = Field("", serialization_alias="logPath")
|
log_path: str = Field("", serialization_alias="logPath")
|
||||||
actor_csv_path: str = Field("", serialization_alias="actorCsvPath")
|
actor_csv_path: str = Field("", serialization_alias="actorCsvPath")
|
||||||
max_total_score: int = Field(100, serialization_alias="maxTotalScore")
|
|
||||||
sandbox_exec_server: str = Field(
|
sandbox_exec_server: str = Field(
|
||||||
"172.17.0.1:5051", serialization_alias="sandboxExecServer"
|
"172.17.0.1:5051", serialization_alias="sandboxExecServer"
|
||||||
)
|
)
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user