Switch from Travis to GitHub Actions

.github/workflows/main.yml

@@ -0,0 +1,24 @@
+name: CI
+on: [push, pull_request]
+env:
+  RUST_BACKTRACE: 1
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1
+      - name: Formatting
+        run: |
+          # Install extra rustup components
+          rustup component add rustfmt
+          cargo fmt --all -- --check
+      - name: Correct Nightly Version
+        # Ensure everything is run and tested with the same nightly version
+        run: ci/check-nightly-version.sh
+      - name: Test
+        run: |
+          set -euo pipefail
+          IFS=$'\n\t'
+          # Check if the code is good
+          cargo build --all --locked
+          cargo test --all --locked

ci/check-nightly-version.sh

@@ -5,7 +5,6 @@ IFS=$'\n\t'
 # Extract the nightly version from all the places we declared it in
 rust_toolchain="$(cat rust-toolchain)"
 rust_config="$(cat RustConfig | sed -E 's/^VERSION=(nightly-[0-9]{4}-[0-9]{2}-[0-9]{2})$/\1/')"
-travis_yml="$(cat .travis.yml | grep '^rust: ' | head -n 1 | sed -E 's/^rust: (nightly-[0-9]{4}-[0-9]{2}-[0-9]{2})$/\1/')"
 
 # Ensure all the configuration files points to the same nightly
 check() {
@@ -15,6 +14,5 @@ check() {
     fi
 }
 check RustConfig "${rust_config}"
-check .travis.yml "${travis_yml}"
 
 echo "all the configuration files points to the same nightly!"