diff options
author | Pierre Fenoll <[email protected]> | 2018-04-15 19:07:09 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-04-15 19:07:09 +0200 |
commit | 8d96c2baaed87a53432c5e4e2947423d3ebaab1e (patch) | |
tree | 39f76316a07f7be060ff724601e9376a233d2b50 /.circleci | |
parent | bf2562ba1ea13d65fe499ad28c56be5a275828fa (diff) | |
download | kerl-8d96c2baaed87a53432c5e4e2947423d3ebaab1e.tar.gz kerl-8d96c2baaed87a53432c5e4e2947423d3ebaab1e.tar.bz2 kerl-8d96c2baaed87a53432c5e4e2947423d3ebaab1e.zip |
Fail if curl call fails (#276)
* Yay HTTPS on erlang.org!
* issue-275: fail if curl fails
* issue-275: forgot to remove tmp curled file
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions