From 3cf01aebe990bdb990633665e794e66ef24cf8c6 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Wed, 11 Sep 2024 14:43:41 +0200
Subject: [PATCH] test

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 95f30d6..9aa5cba 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,12 +57,12 @@ jobs:
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
-          echo "Repo: $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }')"
+          echo "Repo: $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b="${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" 'BEGIN { if (a == "")  { print b } else { print a } }')"
           echo "Branch: ${GITHUB_HEAD_REF}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
-          git clone $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }') .
+          git clone $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b="${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" 'BEGIN { if (a == "")  { print b } else { print a } }') .
           git checkout $GITHUB_HEAD_REF
 
       - name: Setup (macOS)