dev #10

Merged
李衍志523370910113 merged 238 commits from dev into master 2025-03-05 16:20:39 +08:00
Showing only changes of commit 704c10e917 - Show all commits

View File

@ -162,15 +162,9 @@ def fix_result_detail(
)
if task_stage.result_detail is not None:
show_files = []
if (
task_stage.result_detail.stdout
and task_stage.result_detail.stdout is not None
):
if task_stage.result_detail.stdout:
show_files.append("stdout")
jon-lee marked this conversation as resolved Outdated

Is it necessary to rename?

Is it necessary to rename?
if (
task_stage.result_detail.stderr
and task_stage.result_detail.stderr is not None
):
if task_stage.result_detail.stderr:
show_files.append("stderr")
result_detail_parser.with_.update(
{