Use exit code 3 for errors, 1 for failures#115

andrewbranch merged 2 commits intomainarethetypeswrong/arethetypeswrong.github.io:mainfrom

error-exit-codearethetypeswrong/arethetypeswrong.github.io:error-exit-codeCopy head branch name to clipboard