ci: fix checkout

This commit is contained in:
Boris Faure 2018-12-23 11:21:19 +01:00
parent c37c3313a2
commit 01a5ca477b
1 changed files with 2 additions and 2 deletions

View File

@ -12,9 +12,9 @@ jobs:
git fetch origin pull/$CIRCLE_PR_NUMBER/head git fetch origin pull/$CIRCLE_PR_NUMBER/head
fi fi
if [ -n "$CIRCLE_SHA1" ]; then if [ -n "$CIRCLE_SHA1" ]; then
git reset --hard origin/master
else
git reset --hard $CIRCLE_SHA1 git reset --hard $CIRCLE_SHA1
else
git reset --hard origin/master
fi fi
- save_cache: - save_cache:
key: ty-{{ .Environment.CIRCLE_SHA1 }} key: ty-{{ .Environment.CIRCLE_SHA1 }}