Updates based on PR feedback

2020-07-07 10:59:48 +01:00
parent 6fb598da00
commit 6cc7deb9be
8 changed files with 11 additions and 18 deletions
--- a/ci/scripts/distribute.sh
+++ b/ci/scripts/distribute.sh
@@ -44,7 +44,7 @@ while [ $artifacts_published == "false" ] && [ $retry_counter -lt $WAIT_ATTEMPTS
  sleep $WAIT_TIME
 done
 if [[ $artifacts_published == "false" ]]; then
-  echo "Failed to ditribute"
+  echo "Failed to distribute"
  exit 1
 fi