tree 24a344d822e67ef666da7b7015fbd56ccc815e94
parent a0214d3c9cf01dbf8398cfd52f524139fcb1f9db
author Han Seoul-Oh <laughinghan@gmail.com> 1479253634 -0800
committer Han Seoul-Oh <laughinghan@gmail.com> 1479253634 -0800

CI: set -o pipefail #nitpick

This way if the `curl` theoretically fails, then even though subsequent
commands in the pipeline will probably exit with non-zero status,
CircleCI will mark this script as a failure.

We don't do this anywhere else because this is the only pipeline at the
end of a CircleCI script.