Merge #29

29: Swap to GHA r=eldruin a=adamgreig Same setup as book and discovery so should be OK but as usual a bit hard to test. Hopefully CI passes on this commit, then we'll see if it pushed the website correctly after merge. Co-authored-by: Adam Greig <adam@adamgreig.com>

Author: bors[bot]

.github/bors.toml

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

.github/workflows/ci.yml

@@ -0,0 +1,55 @@
+name: CI
+
+on:
+ push:
+ branches: [ staging, trying, master ]
+ pull_request:
+
+jobs:
+ build:
+ runs-on: ubuntu-20.04
+ steps:
+ - uses: actions/checkout@v2
+ - uses: actions-rs/toolchain@v1
+ with:
+ profile: minimal
+ toolchain: stable
+
+ - name: Install Python dependencies
+ run: |
+ pip3 install --user python-dateutil linkchecker
+ - name: Put pip binary directory into path
+ run: echo "~/.local/bin" >> $GITHUB_PATH
+
+ - name: Cache Cargo installed binaries
+ uses: actions/cache@v1
+ id: cache-cargo
+ with:
+ path: ~/cargo-bin
+ key: cache-cargo
+ - name: Install mdbook
+ if: steps.cache-cargo.outputs.cache-hit != 'true'
+ uses: actions-rs/install@v0.1
+ with:
+ crate: mdbook
+ version: latest
+ - name: Copy mdbook to cache directory
+ if: steps.cache-cargo.outputs.cache-hit != 'true'
+ run: |
+ mkdir ~/cargo-bin
+ cp ~/.cargo/bin/mdbook ~/cargo-bin
+ - name: Put new cargo binary directory into path
+ run: echo "~/cargo-bin" >> $GITHUB_PATH
+
+ - name: Build site
+ run: cargo run
+ - name: Check links
+ run: linkchecker public
+
+ - name: Deploy book
+ if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
+ uses: peaceiris/actions-gh-pages@v3
+ with:
+ github_token: ${{ secrets.GITHUB_TOKEN }}
+ publish_dir: public
+ force_orphan: true