Merge pull request #1055 from wasmerio/fix/arm-ci-should-block-shipping

Add ARM CI to bors's list
wasmerio · Dec 11, 2019 · c783b7c · c783b7c
2 parents 8a13917 + 727ea3b
commit c783b7c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bors.toml b/bors.toml
@@ -1,5 +1,6 @@
 status = [
-    "wasmerio.wasmer"
+    "wasmerio.wasmer",
+    "continuous-integration/travis-ci/push"
 ]
 required_approvals = 1
 timeout_sec = 7200