Build with the right namespace

Author: vmcj

.github/workflows/build-domjudge-container-PR.yml

@@ -82,16 +82,16 @@ jobs:
         if: steps.filter.outputs.should_run == 'true'
         run: |
           cd docker
-          ./build.sh "${{ env.DOMJUDGE_VERSION }}"
+          ./build.sh "${{ env.DOMJUDGE_VERSION }}" "${GITHUB_REPOSITORY_OWNER@L}"
           cd ../docker-chroot
-          ./build.sh "${{ env.DOMJUDGE_VERSION }}"
+          ./build.sh "${{ env.DOMJUDGE_VERSION }}" "${GITHUB_REPOSITORY_OWNER@L}"
 
       - name: Build and push
         if: steps.filter.outputs.should_run == 'true'
         run: |
           for IMG in domserver judgehost default-judgehost-chroot icpc-judgehost-chroot full-judgehost-chroot; do
-            echo "::group::$IMG"
-            IMAGE_NAME="${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.DOMJUDGE_VERSION }}"
+            echo "::group::${IMG}"
+            IMAGE_NAME="${GITHUB_REPOSITORY_OWNER@L}/${IMG}:${{ env.DOMJUDGE_VERSION }}"
             docker image tag "$IMAGE_NAME" ghcr.io/${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.PR_TAG }}
             docker image tag "$IMAGE_NAME" ${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.PR_TAG }}
             docker push ghcr.io/${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.PR_TAG }} || true