diff --git a/ci/driver.sh b/ci/driver.sh index d1932cd47..4b0ea550a 100755 --- a/ci/driver.sh +++ b/ci/driver.sh @@ -70,6 +70,7 @@ for pr in $open_pr_list; do # checkout pull request git pull gh pr checkout $pr + git submodule update --init --recursive # get commit hash commit=$(git log --pretty=format:'%h' -n 1)