Merge branch 'main' into feature/ignore-tests-that-already-succeeded

crates/config/src/lib.rs

@@ -1002,7 +1002,6 @@ pub enum TestingPlatform {
     Ord,
     Hash,
     Serialize,
-    Deserialize,
     ValueEnum,
     EnumString,
     Display,

crates/core/src/differential_tests/entry_point.rs

@@ -318,14 +318,7 @@ async fn start_cli_reporting_task(output_format: OutputFormat, reporter: Reporte
                     status, success_count, failure_count, ignored_count,
                 )
                 .unwrap();
-                writeln!(buf).unwrap();
-
-                buf = tokio::task::spawn_blocking(move || {
-                    buf.flush().unwrap();
-                    buf
-                })
-                .await
-                .unwrap();
+                writeln!(buf).unwrap()
             }
         }
     }