From 643da1ea1b39ea3df2def6196f6d076c53c3e442 Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Fri, 3 Oct 2025 16:31:39 +0200 Subject: [PATCH] test: disable flaky tests (#10665) --- .../interactive/{inlayHints.lean => inlayHints.lean.disabled} | 0 .../{semanticTokens.lean => semanticTokens.lean.disabled} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename tests/lean/interactive/{inlayHints.lean => inlayHints.lean.disabled} (100%) rename tests/lean/interactive/{semanticTokens.lean => semanticTokens.lean.disabled} (100%) diff --git a/tests/lean/interactive/inlayHints.lean b/tests/lean/interactive/inlayHints.lean.disabled similarity index 100% rename from tests/lean/interactive/inlayHints.lean rename to tests/lean/interactive/inlayHints.lean.disabled diff --git a/tests/lean/interactive/semanticTokens.lean b/tests/lean/interactive/semanticTokens.lean.disabled similarity index 100% rename from tests/lean/interactive/semanticTokens.lean rename to tests/lean/interactive/semanticTokens.lean.disabled