From 9ed975a692b1ca3d6d2ec033867db3ae5313e4a3 Mon Sep 17 00:00:00 2001
From: MCJ Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Fri, 2 Aug 2024 13:10:05 +0200
Subject: [PATCH] Debug what we have

---
 .github/workflows/build-domjudge-container-PR.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-domjudge-container-PR.yml b/.github/workflows/build-domjudge-container-PR.yml
index a9e28c1..b789618 100644
--- a/.github/workflows/build-domjudge-container-PR.yml
+++ b/.github/workflows/build-domjudge-container-PR.yml
@@ -73,6 +73,7 @@ jobs:
         run: |
           for IMG in domserver judgehost default-judgehost-chroot; do
             echo "::group::$IMG"
+            docker list
             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 }}