update server url

This commit is contained in:
Christopher 2020-12-10 10:28:41 +08:00
parent 9939e39598
commit 139e9f2eae

View File

@ -18,7 +18,7 @@ check:
- 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/
- git fetch --tags && ./check-version.sh && ./create-tags.sh
- git push --tags https://${GITLAB_USER_LOGIN}:${PERSONAL_ACCESS_TOKEN}@${CI_REPOSITORY_URL}
- git push --tags ${GITLAB_USER_LOGIN}:${PERSONAL_ACCESS_TOKEN}@${CI_REPOSITORY_URL}
build:
image: arm64v8/docker:stable-git