fix

Author: meisterT

.github/workflows/judge-unit-tests.yml

@@ -34,4 +34,4 @@ jobs:
 
       - name: Run judge unit tests
         working-directory: judge/tests
-        run: ../../webapp/vendor/bin/phpunit --configuration phpunit.xml
+        run: ../../webapp/vendor/bin/phpunit --configuration phpunit.xml --testdox