We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8e57537 commit 9ed975aCopy full SHA for 9ed975a
.github/workflows/build-domjudge-container-PR.yml
@@ -73,6 +73,7 @@ jobs:
73
run: |
74
for IMG in domserver judgehost default-judgehost-chroot; do
75
echo "::group::$IMG"
76
+ docker list
77
IMAGE_NAME="${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.DOMJUDGE_VERSION }}"
78
docker image tag "$IMAGE_NAME" ghcr.io/${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.PR_TAG }}
79
docker image tag "$IMAGE_NAME" ${GITHUB_REPOSITORY_OWNER@L}/$IMG:${{ env.PR_TAG }}
0 commit comments