Setup bors (#42)

Implements #30. Is there anything else to set up for bors?


Co-authored-by: Hong Ge <hg344@cam.ac.uk>
Co-authored-by: David Widmann <devmotion@users.noreply.github.com>

Author: 3 people

.github/workflows/CI.yml

@@ -3,8 +3,12 @@ name: CI
 on:
   push:
     branches:
+      # This is where pull requests from "bors r+" are built.
+      - staging
+      # This is where pull requests from "bors try" are built.
+      - trying
+      # Build the main branch.
       - main
-  pull_request:
 
 jobs:
   test:

.github/workflows/Format.yml

@@ -0,0 +1,38 @@
+name: Format
+
+on:
+  push:
+    branches:
+      # This is where pull requests from "bors r+" are built.
+      - staging
+      # This is where pull requests from "bors try" are built.
+      - trying
+      # Build the main branch.
+      - main
+
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
+jobs:
+  format:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: 1
+      - name: Format code
+        run: |
+          using Pkg
+          Pkg.add(; name="JuliaFormatter", uuid="98e50ef6-434e-11e9-1051-2b60c6c9e899")
+          using JuliaFormatter
+          format("."; verbose=true)
+        shell: julia --color=yes {0}
+      - uses: reviewdog/action-suggester@v1
+        if: github.event_name == 'pull_request'
+        with:
+          tool_name: JuliaFormatter
+          fail_on_error: true

.github/workflows/IntegrationTest.yml

@@ -3,8 +3,12 @@ name: IntegrationTest
 on:
   push:
     branches:
+      # This is where pull requests from "bors r+" are built.
+      - staging
+      # This is where pull requests from "bors try" are built.
+      - trying
+      # Build the main branch.
       - main
-  pull_request:
 
 jobs:
   test:

bors.toml

@@ -0,0 +1,18 @@
+status = [
+  "Julia 1.% - ubuntu-latest - x64",
+  "Julia 1.% - macOS-latest - x64",
+  "Julia 1.% - windows-latest - x64",
+  "Julia 1 - ubuntu-latest - x64",
+  "Julia 1 - macOS-latest - x64",
+  "Julia 1 - windows-latest - x64",
+  "DynamicPPL.jl",
+  "format"
+]
+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