fail on error (#20)

ci-via-github-actions
2019-01-23 11:51:22 -08:00
parent f98caa2656
commit 320e9b6057
1274 changed files with 398630 additions and 9 deletions
@@ -0,0 +1,4 @@
+coverage.out
+*~
+coverage.txt
+profile.out