chore: remove timer tests as they seem to be too unstable

leanprover · Jan 2, 2025 · 1db93cf · 1db93cf
1 parent c7a5d6e
commit 1db93cf
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 209 deletions.
diff --git a/tests/lean/libuv_timer.lean b/tests/lean/libuv_timer.lean
diff --git a/tests/lean/libuv_timer.lean.expected.out b/tests/lean/libuv_timer.lean.expected.out