diff --git a/tests/lean/interactive/findReferences.lean b/tests/lean/interactive/findReferences.lean.disabled
similarity index 100%
rename from tests/lean/interactive/findReferences.lean
rename to tests/lean/interactive/findReferences.lean.disabled
diff --git a/tests/lean/interactive/incomingCallHierarchy.lean b/tests/lean/interactive/incomingCallHierarchy.lean.disabled
similarity index 100%
rename from tests/lean/interactive/incomingCallHierarchy.lean
rename to tests/lean/interactive/incomingCallHierarchy.lean.disabled
diff --git a/tests/lean/interactive/moduleHierarchyImports.lean b/tests/lean/interactive/moduleHierarchyImports.lean.disabled
similarity index 100%
rename from tests/lean/interactive/moduleHierarchyImports.lean
rename to tests/lean/interactive/moduleHierarchyImports.lean.disabled
diff --git a/tests/lean/interactive/outgoingCallHierarchy.lean b/tests/lean/interactive/outgoingCallHierarchy.lean.disabled
similarity index 100%
rename from tests/lean/interactive/outgoingCallHierarchy.lean
rename to tests/lean/interactive/outgoingCallHierarchy.lean.disabled
diff --git a/tests/lean/interactive/projects/InverseModuleHierarchy/InverseModuleHierarchy/BasicTest.lean b/tests/lean/interactive/projects/InverseModuleHierarchy/InverseModuleHierarchy/BasicTest.lean.disabled
similarity index 100%
rename from tests/lean/interactive/projects/InverseModuleHierarchy/InverseModuleHierarchy/BasicTest.lean
rename to tests/lean/interactive/projects/InverseModuleHierarchy/InverseModuleHierarchy/BasicTest.lean.disabled
diff --git a/tests/lean/interactive/unknownIdentifierCodeActions.lean b/tests/lean/interactive/unknownIdentifierCodeActions.lean.disabled
similarity index 100%
rename from tests/lean/interactive/unknownIdentifierCodeActions.lean
rename to tests/lean/interactive/unknownIdentifierCodeActions.lean.disabled
diff --git a/tests/lean/interactive/workspaceSymbols.lean b/tests/lean/interactive/workspaceSymbols.lean.disabled
similarity index 100%
rename from tests/lean/interactive/workspaceSymbols.lean
rename to tests/lean/interactive/workspaceSymbols.lean.disabled