Merge pull request #454 from ReCodEx/maven

Adding Maven environment identifier among known environments.
ReCodEx · Feb 5, 2022 · 51f901c · 51f901c
2 parents d025fa4 + 962e861
commit 51f901c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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,