From 89800af1565d78e47799e2a0fdd06dae45e3dbbb Mon Sep 17 00:00:00 2001 From: Siegfried Pammer Date: Mon, 27 Jul 2026 20:40:09 +0200 Subject: [PATCH] Use the default wait budget for frozen-tab re-decompile waits The explicit 15-second budget timed out on a loaded Windows Release CI runner (a different test of this fixture on each attempt, while the sibling workflow run passed the same head). The waits are completion-bounded - the predicate observes the end of an async re-decompile - so the 60-second Waiters default costs nothing when healthy and only converts runner slowness from a red run into a longer green one. Assisted-by: Claude:claude-fable-5:Claude Code --- ILSpy.Tests/Docking/FrozenTabRefreshTests.cs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/ILSpy.Tests/Docking/FrozenTabRefreshTests.cs b/ILSpy.Tests/Docking/FrozenTabRefreshTests.cs index 57e316218..41c9b975e 100644 --- a/ILSpy.Tests/Docking/FrozenTabRefreshTests.cs +++ b/ILSpy.Tests/Docking/FrozenTabRefreshTests.cs @@ -89,8 +89,7 @@ public class FrozenTabRefreshTests await Waiters.WaitForAsync( () => !frozen.IsDecompiling && !preview.IsDecompiling && frozen.Text != frozenCSharp && preview.Text != previewCSharp, - TimeSpan.FromSeconds(15), - "both the frozen tab and the preview tab to re-decompile after the language change"); + description: "both the frozen tab and the preview tab to re-decompile after the language change"); frozen.Language.Name.Should().Be("IL", "the frozen tab must adopt the newly selected language"); @@ -115,8 +114,7 @@ public class FrozenTabRefreshTests await Waiters.WaitForAsync( () => !frozen.IsDecompiling && !preview.IsDecompiling && frozen.Text != frozenBefore && preview.Text != previewBefore, - TimeSpan.FromSeconds(15), - "both the frozen tab and the preview tab to re-decompile after the display-setting change"); + description: "both the frozen tab and the preview tab to re-decompile after the display-setting change"); frozen.Text.Should().NotBe(frozenBefore, "the frozen tab must re-render with the new indentation setting");