From 7b62c593f1fd7fb43b6d65c1a0441510da8239ee Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 9 Oct 2026 12:19:04 +0000
Subject: [PATCH 1/2] Initial plan


From 85c15d2e0b1c4d15d25d17e1388a3899ddad4272 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 9 Oct 2026 12:21:38 +0000
Subject: [PATCH 2/2] Fix GHCR auth in docker image existence check

Co-authored-by: MarcelRB <56345142+MarcelRB@users.noreply.github.com>
---
 .github/workflows/run-tests-update-docker-on-demand.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/run-tests-update-docker-on-demand.yml b/.github/workflows/run-tests-update-docker-on-demand.yml
index 8ca1308..9d3f598 100644
--- a/.github/workflows/run-tests-update-docker-on-demand.yml
+++ b/.github/workflows/run-tests-update-docker-on-demand.yml
@@ -82,13 +82,13 @@ jobs:
 #       The below works as follow: We search for the manifest of the desired container in ghcr.io in a two-step process: If the requested URL exists (step 1), we check whether the manifest has the desired format by 
 #       checking if the mediaType-key exists in the .json returned by the curl command (step 2). 
         run: |
-          GHCR_TOKEN=$(echo ${{ secrets.GITHUB_TOKEN }} | base64)
-          manifest=$(curl -H "Authorization: Bearer ${GHCR_TOKEN}" https://${{ env.REGISTRY }}/v2/${{ steps.string.outputs.lowercase }}/manifests/${{ needs.get-docker-meta-data.outputs.version }})
+          GHCR_TOKEN=$(printf "%s" "${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}" | base64 | tr -d '\n')
+          manifest=$(curl -sS -H "Authorization: Basic $GHCR_TOKEN" https://${{ env.REGISTRY }}/v2/${{ steps.string.outputs.lowercase }}/manifests/${{ needs.get-docker-meta-data.outputs.version }} || true)
           echo "MANIFEST" $manifest
           if [[ -z "$manifest" || "$manifest" == "404 page not found" ]]
           then exists=false
           else
-          filtered_manifest=$(curl -H "Authorization: Bearer ${GHCR_TOKEN}" https://${{ env.REGISTRY }}/v2/${{ steps.string.outputs.lowercase }}/manifests/${{ needs.get-docker-meta-data.outputs.version }} | jq '.mediaType')
+          filtered_manifest=$(echo "$manifest" | jq '.mediaType')
           echo "FILTERED MANIFEST" $filtered_manifest
           if [[ "$filtered_manifest" != "null" ]]
           then exists=true