diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-18 09:37:18 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-18 09:37:18 +0800 |
| commit | ff3293f123a8768fc3b24715b6404ff3a0ab63da (patch) | |
| tree | 77a2a634c6e6e1d93ae8824cdeb58ad86f2990e2 /mingling_ci/src/task | |
| parent | 3b56d50c16cf86429de9bf82b717ad4c13d7f968 (diff) | |
refactor(ci-new): aggregate successful package reports
Replace per-package `.ok` files with a single `ok` file listing
successful packages per platform, flushed after all checks complete.
Diffstat (limited to 'mingling_ci/src/task')
| -rw-r--r-- | mingling_ci/src/task/run.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mingling_ci/src/task/run.rs b/mingling_ci/src/task/run.rs index db34277..eddc356 100644 --- a/mingling_ci/src/task/run.rs +++ b/mingling_ci/src/task/run.rs @@ -80,6 +80,7 @@ pub(crate) async fn run_parallel_checks( } pb.finish_and_clear(); + reporter::flush(); fail_count } |