fix: windows tests (#380)

leanprover · Dec 22, 2023 · 00724db · 00724db
1 parent a09d19a
commit 00724db
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/vscode-lean4/package-lock.json b/vscode-lean4/package-lock.json
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
@@ -837,7 +837,7 @@
 		"@types/semver": "^7.5.4",
 		"@types/vscode": "^1.61.0",
 		"@types/vscode-webview": "^1.57.0",
-		"@vscode/test-electron": "^2.1.2",
+		"@vscode/test-electron": "^2.3.8",
 		"@vscode/vsce": "~2.21.1",
 		"concurrently": "^7.0.0",
 		"copy-webpack-plugin": "^10.2.4",