Merge #28

28: Switch CI to GHA r=adamgreig a=eldruin

Fixes #27 

Co-authored-by: Diego Barrios Romero <[email protected]>

Author: bors[bot]

.github/bors.toml

@@ -1,4 +1,4 @@
 block_labels = ["S-waiting-on-team"]
 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