Skip to content

Commit

Permalink
fix: disable flaky test (#970)
Browse files Browse the repository at this point in the history
  • Loading branch information
fgdorais authored Sep 28, 2024
1 parent c94610a commit bf12ff6
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test/MLList.lean
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,8 @@ We generate three tasks which sleep for `100`, `50`, and `1` milliseconds respec
and then verify that `MLList.ofTaskList` return their results in the order they complete.
-/

/- This test is very flaky, so it's disabled for now.
def sleep (n : UInt32) : BaseIO (Task UInt32) :=
IO.asTask (do IO.sleep n; return n) |>.map fun t => t.map fun
| .ok n => n
Expand All @@ -35,3 +37,4 @@ def sleeps : MLList BaseIO UInt32 := .squash fun _ => do
/-- info: [1, 50, 100] -/
#guard_msgs in
#eval sleeps.force
-/

0 comments on commit bf12ff6

Please sign in to comment.