diff --git a/tests/lean/server/edits.lean b/tests/lean/server/edits.lean_disabled
similarity index 100%
rename from tests/lean/server/edits.lean
rename to tests/lean/server/edits.lean_disabled