Webstandard job is 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