diff --git a/tools/publish.sh b/tools/publish.sh index 317aa9f4..61b01f79 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -39,6 +39,7 @@ popd echo -e "\nPublishing root crate" cargo publish --allow-dirty +sleep 20 pushd packages for crate in "${packages[@]}"; do publish_crate; done