Merge pull request #102 from TuringLang/bors

Use Bors?

Author: mohamed82008

.github/workflows/DynamicPPL-CI.yml

@@ -5,6 +5,11 @@ on:
     branches:
       - master
       - dev
+      # This is where pull requests from "bors r+" are built.
+      - staging
+      # This is where pull requests from "bors try" are built.
+      - trying
+  # Enable building pull requests.
   pull_request:
 
 jobs:

.travis.yml

@@ -2,7 +2,13 @@
 language: julia
 branches:
   only:
+    # Enable building pull requests to master and dev.
     - master
+    - dev
+    # This is where pull requests from "bors r+" are built.
+    - staging
+    # This is where pull requests from "bors try" are built.
+    - trying
 os:
   - linux
   - osx

bors.toml

@@ -0,0 +1,10 @@
+status = [
+  "continuous-integration/travis-ci/push",
+  "DynamicPPL-CI / test (1%"
+]
+delete_merged_branches = true
+# Uncomment this to require at least on approval of a project member.
+#required_approvals = 1
+# Uncomment this to use a two hour timeout.
+# The default is one hour.
+#timeout_sec = 7200