Merge #294

294: Enable bors r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <[email protected]>

Author: bors[bot]

.github/bors.toml

@@ -0,0 +1 @@
+status = ["ci"]

.github/workflows/ci.yml

@@ -43,3 +43,12 @@ jobs:
         include:
           - rust_version: stable
             rustflags: --deny warnings
+
+  ci:
+    if: ${{ success() }}
+    # all new jobs must be added to this list
+    needs: [build]
+    runs-on: ubuntu-latest
+    steps:
+      - name: CI succeeded
+        run: exit 0