summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTom Milligan <tom@reinfer.io>2022-06-10 16:32:48 +0100
committerTom Milligan <tommilligan@users.noreply.github.com>2022-06-11 10:23:30 +0100
commit438c1dff5a1457e90a3f9c97cee28621a70fdb3a (patch)
treec07133b9e1c314c4c06be9cbcf99d41c59d36c82
parent78b7451e49af43969d157fe31e911ab4242be70d (diff)
ci: automatically deploy docs after publishv1.7.0
-rw-r--r--.github/workflows/docs.yml39
1 files changed, 39 insertions, 0 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..7cd30eb
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,39 @@
+name: docs
+
+on:
+ release:
+ types: [published]
+ workflow_dispatch:
+
+permissions:
+ contents: write
+
+jobs:
+ publish:
+ runs-on: ubuntu-20.04
+ steps:
+ - uses: actions/checkout@v2
+ - uses: actions/cache@v2
+ with:
+ path: |
+ ~/.cargo/registry
+ ~/.cargo/git
+ target
+ ~/.cargo/bin
+ cargo_target
+ # We reuse the cache from our detailed test environment, if available
+ key: detailed-test-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.toml') }}
+ - name: Install toolchain
+ uses: actions-rs/toolchain@v1
+ with:
+ toolchain: stable
+ override: true
+ - name: Install mdbook
+ run: ./scripts/install-mdbook
+ - name: Build book
+ run: ./scripts/build-book
+ - name: Push docs
+ uses: JamesIves/github-pages-deploy-action@v4.3.3
+ with:
+ branch: gh-pages
+ folder: book/book