test: disable flaky test

Author: mhuisi

vscode-lean4/test/suite/restarts/restarts.test.ts

@@ -69,7 +69,9 @@ suite('Lean Server Restart Test Suite', () => {
         await closeAllEditors()
     }).timeout(120000)
 
-    test('Worker crashed and client running - Restarting File (Refreshing dependencies)', async () => {
+    // Disabled because the old nightlies that these tests run on have a bug where the language server drops requests
+    // on crash.
+    test.skip('Worker crashed and client running - Restarting File (Refreshing dependencies)', async () => {
         logger.log(
             '=================== Test worker crashed and client running (Refreshing dependencies) ===================',
         )