diff --git a/ci/run-check.sh b/ci/run-check.sh index 1734d6044a..2d25335f86 100755 --- a/ci/run-check.sh +++ b/ci/run-check.sh @@ -39,6 +39,7 @@ case $TARGET in echo "Both build and dependency directories have been discovered." break fi + sleep 10 else echo "Folder ./target not found" sleep 5