@@ -4,7 +4,7 @@ if [[ "$(uname)" = "Darwin" ]]; then
5 timeout_cmd="timeout"
5 timeout_cmd="timeout"
7−$timeout_cmd 30m stack --no-terminal --jobs=2 --install-ghc --system-ghc build --only-dependencies --fast
7+$timeout_cmd 15m stack --no-terminal --jobs=2 --install-ghc --system-ghc build --only-dependencies --fast
9case "$ret" in
9case "$ret" in
@@ -13,7 +13,7 @@ case "$ret" in
14 echo "Timed out while installing dependencies."
14 echo "Timed out while installing dependencies."
15 echo "Try building again by pushing a new commit."
15 echo "Try building again by pushing a new commit."
19 echo "Failed to install dependencies; stack exited with $ret"
19 echo "Failed to install dependencies; stack exited with $ret"