jsontogitlab needs section_begin changed

DOMjudge · Dec 7, 2024 · c48b388 · c48b388
1 parent e30cf7f
commit c48b388
Show file tree

Hide file tree

Showing 7 changed files with 1 addition and 263 deletions.
diff --git a/gitlab/jsontogitlab.py → .github/jobs/jsontogitlab.py b/gitlab/jsontogitlab.py → .github/jobs/jsontogitlab.py
diff --git a/.github/jobs/webstandard.sh b/.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/jsontogitlab.py "$ARTIFACTS/w3c$typ$URL.json"; trace_on
         section_end
     done
 else

diff --git a/gitlab/base.sh b/gitlab/base.sh
diff --git a/gitlab/ci/template.yml b/gitlab/ci/template.yml
diff --git a/gitlab/ci/unit.yml b/gitlab/ci/unit.yml
diff --git a/gitlab/ci_settings.sh b/gitlab/ci_settings.sh
diff --git a/gitlab/default-nginx b/gitlab/default-nginx