CI: use short hash for CI commits

This commit is contained in:
Alexander Zobnin
2018-10-21 20:37:39 +03:00
parent fdd3d7ba03
commit a390cd4e74

View File

@@ -21,7 +21,7 @@ mv ../gh-pages/docs/site/* ./
# ls -lha .
# git status
git add --force .
git commit -m "build docs from commit $CIRCLE_SHA1 (branch $CIRCLE_BRANCH)"
git commit -m "build docs from commit ${CIRCLE_SHA1:0:7} (branch $CIRCLE_BRANCH)"
git log -n 3
git push origin $GH_PAGES_BRANCH