github-ci/ofborg: progress indicator

This commit is contained in:
Jörg Thalheim 2020-07-28 15:02:00 +01:00
parent 88c60d97fc
commit 369f7dbc64
No known key found for this signature in database
GPG key ID: 003F2096411B5F92

View file

@ -19,6 +19,7 @@ jobs:
exit 0 exit 0
fi fi
sleep 5 sleep 5
echo "."
done done
echo "Timeout!" echo "Timeout!"
exit 1 exit 1