fix again

Feuermagier · Jul 13, 2024 · 3bd8443 · 3bd8443
1 parent 430b527
commit 3bd8443
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -49,8 +49,7 @@ jobs:
       - uses: actions/upload-artifact@v4
         with:
           name: autograder-cmd
-          path: |
-            autograder-cmd/target/autograder-cmd.jar
+          path: autograder-cmd/target/autograder-cmd.jar
           if-no-files-found: error
 
       # Release only when pushing to a tag
@@ -59,5 +58,4 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         with:
           body: 'Minor Release (mostly for the automatic download of the jar file)'
-          files: |
-              autograder-cmd/target/autograder-cmd.jar
+          files: autograder-cmd/target/autograder-cmd.jar
diff --git a/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java b/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java
@@ -150,7 +150,7 @@ public List<Problem> checkFile(
             unreducedProblems = result
                 .problems()
                 .stream()
-                .filter(problem -> checkConfiguration.problemsToReport().contains(problem.getType()))
+                .filter(problem -> checkConfiguration.problemsToReport().contains(problem.getProblemType()))
                 .toList();
         }