Fix rubric title and increase timeout for linux

FOP-2324 · Feb 4, 2024 · 877e97b · 877e97b
1 parent 3596dec
commit 877e97b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -71,6 +71,8 @@ jagr {
             config.set(
                 Config(
                     executor = Executor(
+                        timeoutIndividual = 20000,
+                        timeoutTotal = 300000,
                         jvmArgs = listOf(
                             "-Djava.awt.headless=true",
                             "-Dtestfx.robot=glass",

diff --git a/src/graderPublic/java/h13/rubric/RubricProvider.java b/src/graderPublic/java/h13/rubric/RubricProvider.java
@@ -11,21 +11,14 @@
  */
 public abstract class RubricProvider implements org.sourcegrade.jagr.api.rubric.RubricProvider {
 
-    /**
-     * The rubric for this assignment.
-     */
-    public static final Rubric RUBRIC = Rubrics.read(
-        "H10 | Verzeigerte Strukturen - Public Tests",
-        "rubric.json"
-    );
     /**
      * The file containing the rubric for this assignment.
      */
     private static final String RUBRIC_FILE = "rubric.json";
     /**
      * The prefix for the title of this rubric.
      */
-    private static final String RUBRIC_TITLE_PREFIX = "H10 | Verzeigerte Strukturen";
+    private static final String RUBRIC_TITLE_PREFIX = "H13 | Codecraft";
     /**
      * The rubric for this assignment.
      */