Merge pull request #42 from AfoHT/replacetravis

Replace Travis with Github Actions

.github/bors.toml

@@ -1,4 +1,4 @@
 block_labels = ["S-blocked", "S-waiting-on-team", "needs-decision", "do-not-merge"]
 delete_merged_branches = true
 required_approvals = 1
-status = ["continuous-integration/travis-ci/push"]
+status = ["ci"]

.github/workflows/build.yml

@@ -0,0 +1,46 @@
+name: Build
+on:
+  pull_request:
+  push:
+    branches:
+      - master
+      - staging
+      - trying
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  # Rubber stamp approve the PR
+  pass:
+    name: pass
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+
+      - name: Rubber stamp approve
+        run: exit 0
+
+  # Refs: https://github.com/rust-lang/crater/blob/9ab6f9697c901c4a44025cf0a39b73ad5b37d198/.github/workflows/bors.yml#L125-L149
+  #
+  # ALL THE PREVIOUS JOBS NEEDS TO BE ADDED TO THE `needs` SECTION OF THIS JOB!
+
+  ci-success:
+    name: ci
+    if: github.event_name == 'push' && success()
+    needs:
+      - pass
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Mark the job as a success
+        run: exit 0
+  ci-failure:
+    name: ci
+    if: github.event_name == 'push' && !success()
+    needs:
+      - pass
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Mark the job as a failure
+        run: exit 1

.github/workflows/properties/build.properties.json

@@ -0,0 +1,6 @@
+{
+    "name": "Build",
+    "description": "RTIC RFC Suite",
+    "iconName": "rust",
+    "categories": ["Rust"]
+}