Merge pull request #1210 from XhmikosR/ci-set-e
authorSteven Black <redacted>
Mon, 6 Apr 2020 16:42:28 +0000 (12:42 -0400)
committerGitHub <redacted>
Mon, 6 Apr 2020 16:42:28 +0000 (12:42 -0400)
commit481524e849fa5634f16be8254ceaec6f60e6a1c2
treefdaee805135dabcbecfba3ce3a4b9796574d8bf0
parentecd59a8aee2810e73063afc25594e59a85f69b5b
parente8f9cfb833e2564801357e456c82743d4bd01d5f
Merge pull request #1210 from XhmikosR/ci-set-e

CI: specify `set -e`
git clone https://git.99rst.org/PROJECT