update CI_SERVER_HOST

This commit is contained in:
Christopher 2020-12-10 10:45:55 +08:00
parent 139e9f2eae
commit 1486340d4e

View File

@ -16,7 +16,7 @@ check:
script: script:
- apk add --no-cache --upgrade openssh-client bash curl coreutils - 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 - 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 fetch --tags && ./check-version.sh && ./create-tags.sh
- git push --tags ${GITLAB_USER_LOGIN}:${PERSONAL_ACCESS_TOKEN}@${CI_REPOSITORY_URL} - git push --tags ${GITLAB_USER_LOGIN}:${PERSONAL_ACCESS_TOKEN}@${CI_REPOSITORY_URL}