Merge pull request #706 from coq-community/fix-vscode-test

Updating yarn packages, particularly vscode-test
coq · Jan 30, 2024 · ffa199b · ffa199b
2 parents d4a702e + 617633c
commit ffa199b
Show file tree

Hide file tree

Showing 4 changed files with 730 additions and 730 deletions.
diff --git a/client/package.json b/client/package.json
@@ -325,7 +325,7 @@
       }
     ],
     "menus": {
-       "editor/context": [
+      "editor/context": [
         {
           "when": "resourceLangId == coq",
           "command": "extension.coq.interpretToPoint",
@@ -351,7 +351,7 @@
           "command": "extension.coq.query.locate",
           "group": "queries"
         }
-      ], 
+      ],
       "view/title": [
         {
           "command": "extension.coq.addQueryTab",

diff --git a/client/src/test/runTest.ts b/client/src/test/runTest.ts
@@ -2,7 +2,7 @@ import * as path from 'path';
 import * as fs from 'node:fs/promises';
 import * as tmp from 'tmp-promise';
 
-import { runTests } from '@vscode/test-electron';
+import { runTests, downloadAndUnzipVSCode } from '@vscode/test-electron';
 
 async function main() {
 	try {
@@ -37,7 +37,12 @@ async function main() {
 		const launchArgs = [path.resolve(__dirname, '../../testFixture'), "--disable-extensions", "--user-data-dir=" + userDataDir];
 
 		// Download VS Code, unzip it and run the integration test
-		await runTests({ extensionDevelopmentPath, extensionTestsPath, launchArgs });
+        //const vscodeExecutablePath = await downloadAndUnzipVSCode('1.84.0');
+		await runTests({ 
+            // vscodeExecutablePath, 
+            extensionDevelopmentPath, 
+            extensionTestsPath, 
+            launchArgs });
 	} catch (err) {
 		console.error('Failed to run tests');
 		process.exit(1);