Merge a30ab3f into a7902a3

TuringLang · Nov 9, 2021 · 70da390 · 70da390
2 parents a7902a3 + a30ab3f
commit 70da390
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -0,0 +1,20 @@
+status = [
+  "test (1, ubuntu-latest, x86, 2)",
+  "test (1.%, ubuntu-latest, x64, 1)",
+  "test (1.%, ubuntu-latest, x64, 2)",
+  "test (1, ubuntu-latest, x64, 1)",
+  "test (1, ubuntu-latest, x64, 2)",
+  "test (1, macOS-latest, x64, 2)",
+  "test (1, windows-latest, x64, 2)",
+  "Turing.jl",
+  "format",
+  "docs"
+]
+delete_merged_branches = true
+# Require at least on approval of a project member.
+required_approvals = 1
+# Squash commits before merging.
+use_squash_merge = true
+# Uncomment this to use a two hour timeout.
+# The default is one hour.
+timeout_sec = 7200