Make output format deserializable (#187)

* Make output format deserializable

* Flush the buffer after writing the entire file output
This commit is contained in:
Omar
2025-10-09 18:41:26 +03:00
committed by GitHub
parent fde07b7c0d
commit 3c86cbb7ef
2 changed files with 9 additions and 1 deletions
+1
View File
@@ -1002,6 +1002,7 @@ pub enum TestingPlatform {
Ord,
Hash,
Serialize,
Deserialize,
ValueEnum,
EnumString,
Display,
@@ -318,7 +318,14 @@ async fn start_cli_reporting_task(output_format: OutputFormat, reporter: Reporte
status, success_count, failure_count, ignored_count,
)
.unwrap();
writeln!(buf).unwrap()
writeln!(buf).unwrap();
buf = tokio::task::spawn_blocking(move || {
buf.flush().unwrap();
buf
})
.await
.unwrap();
}
}
}