Webstandard job has been moved to GHA

The GitLab folder will be removed so this cleanup was needed. Also fixed
displaying the sections for the GHA job output.

Author: vmcj

gitlab/jsontogitlab.py renamed to .github/jobs/jsontogha.py

@@ -10,10 +10,10 @@ def cleanHash(toHash):
     return hashlib.sha224(toHash).hexdigest()
 
 def sec_start(job,header):
-    print('section_start:{}:{}{}{}'.format(int(time.time()),cleanHash(job),'\r\033[0K',header))
+    print('section_start\r\033[0K'+header)
 
 def sec_end(job):
-    print('section_end:{}:{}'.format(int(time.time()),cleanHash(job)+'\r\033[0K'))
+    print('section_end\r\033[0K')
 
 with open(sys.argv[1],'r') as f:
     data = json.load(f)

.github/jobs/webstandard.sh

@@ -123,7 +123,7 @@ if [ "$TEST" = "w3cval" ]; then
         NEWFOUNDERRORS=$("$DIR"/vnu-runtime-image/bin/vnu --errors-only --exit-zero-always --skip-non-$typ --format gnu $FLTR "$URL" 2>&1 | wc -l)
         FOUNDERR=$((NEWFOUNDERRORS+FOUNDERR))
         python3 -m "json.tool" < result.json > "$ARTIFACTS/w3c$typ$URL.json"
-        trace_off; python3 gitlab/jsontogitlab.py "$ARTIFACTS/w3c$typ$URL.json"; trace_on
+        trace_off; python3 .github/jobs/jsontogha.py "$ARTIFACTS/w3c$typ$URL.json"; trace_on
         section_end
     done
 else

.github/workflows/database-upgrade.yml

@@ -32,5 +32,5 @@ jobs:
         run: echo "pass" > /opt/domjudge/domserver/etc/initial_admin_password.secret
       - name: Check for Errors in the Upgrade
         run: mysql -hsqlserver -uroot -proot -e "SHOW TABLES FROM domjudge;"
-      - name: Check for Errors in Domjudge Web
+      - name: Check for Errors in DOMjudge Webinterface
         run: .github/jobs/webstandard.sh none admin