1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
name: Deploy Docs
on:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Disable Incremental Build
run: echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
- uses: actions/checkout@v3
- name: Install wasm-pack
run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
- name: Cache
uses: Swatinem/rust-cache@v2
- name: Build
run: make docs
# Upload the built website as an artifact, so that runs which are not deployed
# (i.e. other branches and PRs) to Github Pages can be be downloaded
# (https://docs.github.com/en/actions/managing-workflow-runs/downloading-workflow-artifacts)
# and viewed locally.
#
# When Github adds support for PR Github Pages previews
# (https://github.com/orgs/community/discussions/7730)
# this can be removed.
- name: Upload web artifact
uses: actions/upload-artifact@v4
with:
name: www
path: target/www
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
# only actually deploy if pushed to main branch
if: ${{ github.ref == 'refs/heads/main' && github.event_name == 'push' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: target/www
force_orphan: true