From 962e861e894c5436e04a03169ca377dc3ef0b3f0 Mon Sep 17 00:00:00 2001 From: Martin Krulis Date: Sat, 5 Feb 2022 21:31:21 +0100 Subject: [PATCH] Adding Maven environment identifier among known environments. --- src/helpers/exercise/environments.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/helpers/exercise/environments.js b/src/helpers/exercise/environments.js index b232a4b2a..cfc5c2aee 100644 --- a/src/helpers/exercise/environments.js +++ b/src/helpers/exercise/environments.js @@ -12,6 +12,7 @@ export const ENV_GO_ID = 'go'; export const ENV_GROOVY_ID = 'groovy'; export const ENV_HASKELL_ID = 'haskell'; export const ENV_JAVA_ID = 'java'; +export const ENV_MAVEN_ID = 'java-maven'; export const ENV_KOTLIN_ID = 'kotlin'; export const ENV_NODEJS_ID = 'node-linux'; export const ENV_PHP_ID = 'php-linux'; @@ -36,6 +37,7 @@ const SIMPLE_FORM_ENVIRONMENTS = [ ENV_GROOVY_ID, ENV_HASKELL_ID, ENV_JAVA_ID, + ENV_MAVEN_ID, ENV_KOTLIN_ID, ENV_NODEJS_ID, ENV_PHP_ID,