diff --git a/ci/lib.sh b/ci/lib.sh index 6180d62bae..d4e1b050b3 100644 --- a/ci/lib.sh +++ b/ci/lib.sh @@ -57,11 +57,10 @@ run_docs_url_alive_check() run_get_pr_changed_file_details() { - clone_tests_repo # Make sure we have the targeting branch git remote set-branches --add origin "${branch}" git fetch -a - source "$tests_repo_dir/.ci/lib.sh" + source "$kata_repo_dir/tests/common.bash" get_pr_changed_file_details }