From 7688919765627c33f244a71a152e8945801d7263 Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Sat, 4 Oct 2025 11:25:43 +0200
Subject: [PATCH] test: temporarily disable all new tests that use
 `waitForILeans` (#10669)

Due to the flaky test failure at
https://github.com/leanprover/lean4/actions/runs/18241144163/job/51943212141
---
 .../{findReferences.lean => findReferences.lean.disabled}         | 0
 ...mingCallHierarchy.lean => incomingCallHierarchy.lean.disabled} | 0
 ...HierarchyImports.lean => moduleHierarchyImports.lean.disabled} | 0
 ...oingCallHierarchy.lean => outgoingCallHierarchy.lean.disabled} | 0
 .../{BasicTest.lean => BasicTest.lean.disabled}                   | 0
 ...odeActions.lean => unknownIdentifierCodeActions.lean.disabled} | 0
 .../{workspaceSymbols.lean => workspaceSymbols.lean.disabled}     | 0
 7 files changed, 0 insertions(+), 0 deletions(-)
 rename tests/lean/interactive/{findReferences.lean => findReferences.lean.disabled} (100%)
 rename tests/lean/interactive/{incomingCallHierarchy.lean => incomingCallHierarchy.lean.disabled} (100%)
 rename tests/lean/interactive/{moduleHierarchyImports.lean => moduleHierarchyImports.lean.disabled} (100%)
 rename tests/lean/interactive/{outgoingCallHierarchy.lean => outgoingCallHierarchy.lean.disabled} (100%)
 rename tests/lean/interactive/projects/InverseModuleHierarchy/InverseModuleHierarchy/{BasicTest.lean => BasicTest.lean.disabled} (100%)
 rename tests/lean/interactive/{unknownIdentifierCodeActions.lean => unknownIdentifierCodeActions.lean.disabled} (100%)
 rename tests/lean/interactive/{workspaceSymbols.lean => workspaceSymbols.lean.disabled} (100%)

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