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)
CI: specify `set -e`


Trivial merge
git clone https://git.99rst.org/PROJECT