constant integration updates

2020-11-16 02:39:53 -08:00
parent 18ff70bc7f
commit 77bca2deca
11 changed files with 28 additions and 6 deletions
--- a/ci/test_runtime.sh
+++ b/ci/test_runtime.sh
@@ -1,3 +1,6 @@
 #!/bin/bash

+# exit when any command fails
+set -e
+
 make -C runtime/tests run