diff --git a/vscode-lean4/package-lock.json b/vscode-lean4/package-lock.json
index 61afc0e16..372bf47f3 100644
--- a/vscode-lean4/package-lock.json
+++ b/vscode-lean4/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "lean4",
-	"version": "0.0.118",
+	"version": "0.0.121",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "lean4",
-			"version": "0.0.118",
+			"version": "0.0.121",
 			"license": "Apache-2.0",
 			"dependencies": {
 				"axios": "^1.6.2",
@@ -25,7 +25,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",
@@ -267,15 +267,15 @@
 			"dev": true
 		},
 		"node_modules/@vscode/test-electron": {
-			"version": "2.3.3",
-			"resolved": "https://registry.npmjs.org/@vscode/test-electron/-/test-electron-2.3.3.tgz",
-			"integrity": "sha512-hgXCkDP0ibboF1K6seqQYyHAzCURgTwHS/6QU7slhwznDLwsRwg9bhfw1CZdyUEw8vvCmlrKWnd7BlQnI0BC4w==",
+			"version": "2.3.8",
+			"resolved": "https://registry.npmjs.org/@vscode/test-electron/-/test-electron-2.3.8.tgz",
+			"integrity": "sha512-b4aZZsBKtMGdDljAsOPObnAi7+VWIaYl3ylCz1jTs+oV6BZ4TNHcVNC3xUn0azPeszBmwSBDQYfFESIaUQnrOg==",
 			"dev": true,
 			"dependencies": {
 				"http-proxy-agent": "^4.0.1",
 				"https-proxy-agent": "^5.0.0",
 				"jszip": "^3.10.1",
-				"semver": "^7.3.8"
+				"semver": "^7.5.2"
 			},
 			"engines": {
 				"node": ">=16"
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 09d18dfd2..ac6ca766c 100644
--- 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",