Merge pull request #2284 from Jakob-Naucke/ci-expand-to-nothing

ci: expand $CI to nothing
This commit is contained in:
Jakob Naucke 2021-07-20 17:10:35 +02:00 committed by GitHub
commit 54bcd3c946
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,7 +17,7 @@ export branch="${target_branch:-main}"
clone_tests_repo()
{
if [ -d "$tests_repo_dir" ]; then
[ -n "$CI" ] && return
[ -n "${CI:-}" ] && return
pushd "${tests_repo_dir}"
git checkout "${branch}"
git pull