message: fix: test robustness during development reruns.
diff: @@ -4,7 +4,7 @@ import * as path from 'path';
  import * as vscode from 'vscode';
  import * as fs from 'fs';
  import { initLean4Untitled, initLean4, waitForHtmlString,
  - extractPhrase, restartLeanServer, assertStringInInfoview, resetToolchain } from '../utils/helpers';
  + extractPhrase, restartLeanServer, assertStringInInfoview, resetToolchain, sleep } from '../utils/helpers';
  import { InfoProvider } from '../../../src/infoview';
  import { LeanClientProvider} from '../../../src/utils/clientProvider';
  import { LeanInstaller } from '../../../src/utils/leanInstaller';
  @@ -18,6 +18,7 @@ suite('Toolchain Test Suite', () => {
  void vscode.window.showInformationMessage('Running tests: ' + __dirname);
  const lean = await initLean4Untitled('#eval Lean.versionString');
  + await resetToolchain();
  const info = lean.exports.infoProvider as InfoProvider;
  @@ -26,7 +27,9 @@ suite('Toolchain Test Suite', () => {
  // Now switch toolchains (simple suite uses leanprover/lean4:nightly by default)
  await vscode.commands.executeCommand('lean4.selectToolchain', 'leanprover/lean4:stable');
  - await assertStringInInfoview(info, '4.0.0, commit-');
  + await assertStringInInfoview(info, '4.0.0, commit');
  +
  + await resetToolchain();
  // make sure test is always run in predictable state, which is no file or folder open
  await vscode.commands.executeCommand('workbench.action.closeAllEditors');
  