Add publish script

rust-lang · Jul 23, 2021 · 47b876f · 47b876f
1 parent 49ad690
commit 47b876f
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/ci/publish.sh b/ci/publish.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -euo pipefail
+IFS=$'\n\t'
+
+# A list of paths to the crate to be published.
+# It will be published in the order listed.
+MEMBERS=(
+    "."
+    "futures01"
+)
+
+cd "$(cd "$(dirname "$0")" && pwd)"/..
+
+set -x
+
+for i in "${!MEMBERS[@]}"; do
+    (
+        cd "${MEMBERS[${i}]}"
+        cargo publish
+    )
+    if [[ $((i + 1)) != "${#MEMBERS[@]}" ]]; then
+        sleep 45
+    fi
+done