From e910f35516be55537200019c84d71cb62a2c8095 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 21 Oct 2020 09:34:23 +0000
Subject: [PATCH] Replace Travis with Github Actions

---
 .github/bors.toml                             |  2 +-
 .github/workflows/build.yml                   | 46 +++++++++++++++++++
 .../properties/build.properties.json          |  6 +++
 .travis.yml                                   | 14 ------
 4 files changed, 53 insertions(+), 15 deletions(-)
 create mode 100644 .github/workflows/build.yml
 create mode 100644 .github/workflows/properties/build.properties.json
 delete mode 100644 .travis.yml

diff --git a/.github/bors.toml b/.github/bors.toml
index 568044d6a60a..75f0d131b70a 100644
--- a/.github/bors.toml
+++ b/.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"]
\ No newline at end of file
+status = ["ci"]
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 000000000000..a7ccf351b965
--- /dev/null
+++ b/.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
diff --git a/.github/workflows/properties/build.properties.json b/.github/workflows/properties/build.properties.json
new file mode 100644
index 000000000000..8c20f6d255c5
--- /dev/null
+++ b/.github/workflows/properties/build.properties.json
@@ -0,0 +1,6 @@
+{
+    "name": "Build",
+    "description": "RTIC RFC Suite",
+    "iconName": "rust",
+    "categories": ["Rust"]
+}
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 5b916ca1dd13..000000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,14 +0,0 @@
-language: rust
-
-script:
-  - true
-
-branches:
-  only:
-    - master
-    - staging
-    - trying
-
-notifications:
-  email:
-    on_success: never