diff options
Diffstat (limited to 'third_party/rust/arbitrary/publish.sh')
-rwxr-xr-x | third_party/rust/arbitrary/publish.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/third_party/rust/arbitrary/publish.sh b/third_party/rust/arbitrary/publish.sh new file mode 100755 index 0000000000..24db2bd779 --- /dev/null +++ b/third_party/rust/arbitrary/publish.sh @@ -0,0 +1,14 @@ +#!/usr/bin/env bash + +set -eux + +cd $(dirname $0)/derive + +cargo publish + +cd .. + +# Let the crates.io index figure out we've published `derive_arbitrary` already. +sleep 5 + +cargo publish |