diff --git a/.circleci/common.sh b/.circleci/common.sh index c55b2d28318a..e13054a13d21 100755 --- a/.circleci/common.sh +++ b/.circleci/common.sh @@ -1,5 +1,6 @@ #!/bin/bash +# dummy comment set -ex # See Note [Keep Going]