Merge #328

328: Swap to GHA r=eldruin a=adamgreig

The travis CI wasn't even doing anything, but I guess at least this means we can use bors.

Co-authored-by: Adam Greig <adam@adamgreig.com>

.github/bors.toml

@@ -1,3 +1,3 @@
 delete_merged_branches = true
 required_approvals = 1
-status = ["continuous-integration/travis-ci/push"]
+status = ["dummy"]

.github/workflows/dummy.yml

@@ -0,0 +1,18 @@
+name: CI
+
+on:
+  push:
+    branches:
+    - master
+    - staging
+    - trying
+  pull_request:
+    branches:
+    - master
+
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Succeed
+      run: true

.travis.yml

@@ -1,14 +0,0 @@
-language: rust
-
-script:
-  - true
-
-branches:
-  only:
-    - master
-    - staging
-    - trying
-
-notifications:
-  email:
-    on_success: never