Merge pull request #744 from liubin/fix/743-replace-spaces-by-tabs

ci: replace spaces by tabs as indent
This commit is contained in:
James O. D. Hunt
2020-09-17 14:01:27 +01:00
committed by GitHub

View File

@@ -17,9 +17,9 @@ clone_tests_repo()
go get -d -u "$tests_repo" || true
if [ -n "${TRAVIS_BRANCH:-}" ]; then
( cd "${tests_repo_dir}" && git checkout "${TRAVIS_BRANCH}" )
fi
if [ -n "${TRAVIS_BRANCH:-}" ]; then
( cd "${tests_repo_dir}" && git checkout "${TRAVIS_BRANCH}" )
fi
}
run_static_checks()