Merge #14

bors[bot] · chemouna · bors[bot] · commit 76873832c70a · 2019-08-14T00:28:41.000Z
14: Add bors r=chemouna a=chemouna



Co-authored-by: Mouna Cheikhna &lt;cheikhnamouna@gmail.com&gt;
diff --git a/bors.toml b/bors.toml
@@ -0,0 +1,5 @@
+status = [
+  "ci/circleci: build"
+]
+required_approvals = 0
+timeout_sec = 14400
