From 8c4fb5edbca2c322b1b54c56c7f84059cfb36d0e Mon Sep 17 00:00:00 2001 From: Christoph John Date: Fri, 25 Jul 2025 18:52:57 +0200 Subject: [PATCH] Update devcontainer.json --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1395ab037e..cafa368d4b 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -11,5 +11,5 @@ } }, - "onCreateCommand": "./mvnw install -B -V -Dmaven.javadoc.skip=true -DskipTests -PskipBundlePlugin,minimal-fix-latest" + "onCreateCommand": "./mvnw install -B -V -Dmaven.javadoc.skip=true -DskipTests -Dmaven.compiler.failOnError=false -PskipBundlePlugin,minimal-fix-latest" }