dev #10

Merged
李衍志523370910113 merged 238 commits from dev into master 2025-03-05 16:20:39 +08:00
3 changed files with 10 additions and 12 deletions
Showing only changes of commit c06a2d7464 - Show all commits

View File

@ -18,7 +18,7 @@ class ParserResultDetail(BaseModel):
mem: bool = True # Display memory usage
stdout: bool = False # Display stdout messages
stderr: bool = False # Display stderr messages
exitstatus: bool = False
exit_status: bool = True
class ParserFile(BaseModel):

View File

@ -46,15 +46,6 @@ def get_health_check_args(repo_conf: repo.Config) -> List[str]:
def get_teapot_check_args(repo_conf: repo.Config) -> List[str]:
group_config = ""
for i, name in enumerate(repo_conf.groups.name):
group_config = (
group_config
+ f"{name}="
+ f"{repo_conf.groups.max_count[i]}:"
+ f"{repo_conf.groups.time_period_hour[i]},"
)
group_config = group_config.removesuffix(",")
return [
"/usr/local/bin/joint-teapot",
"joj3-check-env",
@ -62,7 +53,14 @@ def get_teapot_check_args(repo_conf: repo.Config) -> List[str]:
"--grading-repo-name",
repo_conf.grading_repo_name,
jon-lee marked this conversation as resolved Outdated

why not args = "hc -root=. "

why not `args = "hc -root=. "`

resolved.

resolved.
"--group-config",
group_config,
",".join(
f"{name}={max_count}:{time_period}"
for name, max_count, time_period in zip(
jon-lee marked this conversation as resolved Outdated

do we need that default?

do we need that default?

what is the situation internally in JOJ3? I just added that blindly when I reached that stage. Overall I think 100 times per day should be a reasonable and safe default? considering that there may be group works and due date

what is the situation internally in JOJ3? I just added that blindly when I reached that stage. Overall I think 100 times per day should be a reasonable and safe default? considering that there may be group works and due date

They can manually add it if needed. Or just move it to the model default.

They can manually add it if needed. Or just move it to the model default.

removed.

removed.
repo_conf.groups.name,
repo_conf.groups.max_count,
repo_conf.groups.time_period_hour,
)
),
]

View File

@ -128,7 +128,7 @@ def fix_result_detail(
score=0,
comment="",
jon-lee marked this conversation as resolved Outdated
    if task_stage.parsers is not None:
        for parser in task_stage.parsers:

->

for parser in task_stage.parsers or []:
``` if task_stage.parsers is not None: for parser in task_stage.parsers: ``` -> ``` for parser in task_stage.parsers or []: ```

resolved.

resolved.
show_files=show_files,
show_exit_status=result_detail_parser_config.exitstatus,
show_exit_status=result_detail_parser_config.exit_status,
show_runtime=result_detail_parser_config.time,
show_memory=result_detail_parser_config.mem,
)