From 1ec0c64c7be79c3db003b0cbd13ce415a4acd7fb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 25 Sep 2024 10:18:42 +0200
Subject: [PATCH] test: remove flaky test (#5468)

---
 tests/lean/Process.lean              | 6 ------
 tests/lean/Process.lean.expected.out | 1 -
 2 files changed, 7 deletions(-)

diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 147917c8a9..7c775a8a8d 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -19,12 +19,6 @@ def usingIO {α} (x : IO α) : IO α := x
   discard $ child.wait;
   child.stdout.readToEnd
 
-#eval usingIO do
-  let child ← spawn { cmd := "true", stdin := Stdio.piped };
-  discard $ child.wait;
-  child.stdin.putStrLn "ha!";
-  child.stdin.flush <|> IO.println "flush of broken pipe failed"
-
 #eval usingIO do
   -- produce enough output to fill both pipes on all platforms
   let out ← output { cmd := "sh", args := #["-c", "printf '%100000s' >& 2; printf '%100001s'"] };
diff --git a/tests/lean/Process.lean.expected.out b/tests/lean/Process.lean.expected.out
index aefb784c4e..28b40f32d9 100644
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@@ -2,7 +2,6 @@
 0
 "ho!\n"
 "hu!\n"
-flush of broken pipe failed
 100001
 100000
 0