Revert the 'mistakes'

Author: vmcj

.github/jobs/detect_dump.sh

@@ -8,7 +8,6 @@ OUT=$(find ./ -name ".git*" -type d -prune -o \
               -name "bundles" -prune -o \
               -name "cache" -type d -prune -o \
               -name "ace" -type d -prune -o \
-              -name "judge" -type d -prune -o \
               -type f -print0 | xargs -0 grep --color "dump(" | grep -v "Yaml::dump(") || true
 
 # Show detected debug statements

.github/jobs/syntax-check

@@ -31,7 +31,6 @@ find . \( \
 	-o -path ./.git              -prune \
 	-o -path ./webapp/migrations -prune \
 	-o -path ./example_problems  -prune \
-	-o -path ./judge  -prune \
     -o -type f \) \
 	-a -type f |  \
 while read -r i ; do

.github/workflows/codestyle.yml

@@ -34,6 +34,7 @@ jobs:
           parallel-lint --colors
           lib/lib.*.php
           etc
+          judge
           webapp/src
           webapp/tests
           webapp/public