diff --git a/.github/install.sh b/.github/install.sh index 19bd8aae2e..2a868d3eb4 100755 --- a/.github/install.sh +++ b/.github/install.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eo pipefail # Reset