mirror of
https://github.com/italicsjenga/agb.git
synced 2024-12-24 00:31:34 +11:00
Merge pull request #279 from gwilymk/make-releases-faster
Make releases faster
This commit is contained in:
commit
c38a036329
4
.github/scripts/publish-crate.sh
vendored
4
.github/scripts/publish-crate.sh
vendored
|
@ -3,7 +3,7 @@
|
||||||
set -e # Fail if any command fails
|
set -e # Fail if any command fails
|
||||||
|
|
||||||
function wait_for_release() {
|
function wait_for_release() {
|
||||||
local package="$0"
|
local package="$1"
|
||||||
local package_with_underscores="${package/-/_}"
|
local package_with_underscores="${package/-/_}"
|
||||||
|
|
||||||
local first_two_characters="${package_with_underscores:0:2}"
|
local first_two_characters="${package_with_underscores:0:2}"
|
||||||
|
@ -23,7 +23,7 @@ function wait_for_release() {
|
||||||
local attempts=1
|
local attempts=1
|
||||||
|
|
||||||
while [ $attempts -le 15 ]; do
|
while [ $attempts -le 15 ]; do
|
||||||
echo "Polling crates.io to see if the version has updated (attempt $attempts)"
|
echo "Polling crates.io with URL $url_to_poll to see if the version has updated (attempt $attempts)"
|
||||||
if curl "$url_to_poll" | grep "$expected_version"; then
|
if curl "$url_to_poll" | grep "$expected_version"; then
|
||||||
return
|
return
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue