Remove Java feature from devcontainer configuration

MathieuSoysal · Dec 11, 2024 · cb33fce · cb33fce
1 parent c37e78b
commit cb33fce
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -6,8 +6,7 @@
 	"image": "mcr.microsoft.com/devcontainers/rust:1-1-bullseye",
 	"features": {
 		"ghcr.io/devcontainers/features/rust:1": {},
-		"ghcr.io/devcontainers/features/github-cli:1": {},
-		"ghcr.io/devcontainers/features/java:1": {} // Used for Prusti
+		"ghcr.io/devcontainers/features/github-cli:1": {}
 	},
 	"customizations": {
 		"vscode": {
@@ -40,8 +39,7 @@
 				"ZhangYue.rust-mod-generator",
 				"usernamehw.errorlens",
 				"seatonjiang.gitmoji-vscode",
-				"github.vscode-github-actions",
-				"viper-admin.prusti-assistant"
+				"github.vscode-github-actions"
 			]
 		},
 		"codespaces": {