CI: Work around Azure Ubuntu mirror issue

This commit is contained in:
Connor McLaughlin
2023-01-13 21:14:19 +10:00
parent 5b600602c2
commit b5f806a830
2 changed files with 16 additions and 2 deletions

13
scripts/retry.sh Executable file
View File

@ -0,0 +1,13 @@
#!/bin/bash
RETRIES=10
for i in $(seq 1 "$RETRIES"); do
"$@" && break
if [ "$i" == "$RETRIES" ]; then
echo "Command \"$@\" failed after ${RETRIES} retries."
exit 1
fi
done
exit 0