message: fix: increase timeout so assertStringInInfoview prints infoview contents.
diff: @@ -11,7 +11,7 @@ import { initLean4Untitled, initLean4, waitForInfoviewHtml, closeAllEditors, wai
  suite('Lean Server Restart Test Suite', () => {
  test('Worker crashed and client running - Restarting Lean Server', async () => {
  - logger.log('=================== Test worker crashed and client running ===================');
  + logger.log('=================== Test worker crashed and client running - Restarting Lean Server ===================');
  void vscode.window.showInformationMessage('Running tests: ' + __dirname);
  // add normal values to initialize lean4 file
  @@ -52,10 +52,10 @@ suite('Lean Server Restart Test Suite', () => {
  // make sure test is always run in predictable state, which is no file or folder open
  await closeAllEditors();
  - }).timeout(60000);
  + }).timeout(120000);
  test('Worker crashed and client running - Restarting File (Refreshing dependencies)', async () => {
  - logger.log('=================== Test worker crashed and client running ===================');
  + logger.log('=================== Test worker crashed and client running (Refreshing dependencies) ===================');
  void vscode.window.showInformationMessage('Running tests: ' + __dirname);
  // add normal values to initialize lean4 file
  @@ -96,7 +96,7 @@ suite('Lean Server Restart Test Suite', () => {
  // make sure test is always run in predictable state, which is no file or folder open
  await closeAllEditors();
  - }).timeout(60000);
  + }).timeout(120000);
  test('Restart Server', async () => {
  @@ -131,6 +131,6 @@ suite('Lean Server Restart Test Suite', () => {
  // make sure test is always run in predictable state, which is no file or folder open
  await closeAllEditors();
  }
  - }).timeout(60000);
  + }).timeout(120000);
  }).timeout(120000);
  