From 1486340d4e7f78ff8a70e80aebde0244d05c1025 Mon Sep 17 00:00:00 2001
From: Christopher <chrishen@hku.hk>
Date: Thu, 10 Dec 2020 10:45:55 +0800
Subject: [PATCH] update CI_SERVER_HOST

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49f6aea..e88a966 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ check:
   script:
     - apk add --no-cache --upgrade openssh-client bash curl coreutils
     - git config --global user.email $GIT_USER_EMAIL && git config --global user.name $GIT_USER_NAME
-    - mkdir -p ~/.ssh && echo "$GITLAB_SSH_PRIV_KEY" > ~/.ssh/id_rsa && ssh-keyscan -H ${CI_SERVER_URL} > ~/.ssh/known_hosts && chmod -R 0600 ~/.ssh/
+    - mkdir -p ~/.ssh && echo "$GITLAB_SSH_PRIV_KEY" > ~/.ssh/id_rsa && ssh-keyscan -H ${CI_SERVER_HOST} > ~/.ssh/known_hosts && chmod -R 0600 ~/.ssh/
     - git fetch --tags && ./check-version.sh && ./create-tags.sh
     - git push --tags ${GITLAB_USER_LOGIN}:${PERSONAL_ACCESS_TOKEN}@${CI_REPOSITORY_URL}