There was an error while loading. Please reload this page.
2 parents e611c57 + d7794c3 commit 2bc31aeCopy full SHA for 2bc31ae
1 file changed
build.sh
@@ -1,4 +1,5 @@
1
#!/bin/bash
2
+set -e
3
4
# Usage function
5
usage() {
@@ -48,7 +49,7 @@ check_branch_exists() {
48
49
fi
50
51
local http_code
- http_code=$(curl -sI "$url" -o /dev/null -w "%{http_code}")
52
+ http_code=$(curl -sI --max-time 10 "$url" -o /dev/null -w "%{http_code}")
53
if [ "${http_code}" -ne 200 ]; then
54
echo "Error: $repo branch '$branch' not found. Exiting."
55
exit 1
0 commit comments