2020-12-08 10:44:16 +00:00
|
|
|
name: gh-pages
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- master
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
deploy:
|
|
|
|
|
name: GH-pages documentation
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- name: Install toolchain
|
|
|
|
|
uses: actions-rs/toolchain@v1
|
|
|
|
|
with:
|
|
|
|
|
profile: minimal
|
|
|
|
|
toolchain: nightly
|
|
|
|
|
override: true
|
|
|
|
|
- name: doc (rand)
|
|
|
|
|
env:
|
|
|
|
|
RUSTDOCFLAGS: --cfg doc_cfg
|
|
|
|
|
# --all builds all crates, but with default features for other crates (okay in this case)
|
2020-12-15 10:03:34 +00:00
|
|
|
run: |
|
|
|
|
|
cargo doc --all --features nightly,serde1,getrandom,small_rng
|
2020-12-15 11:47:54 +00:00
|
|
|
cp utils/redirect.html target/doc/index.html
|
2020-12-08 10:44:16 +00:00
|
|
|
- name: Deploy
|
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
publish_dir: ./target/doc
|
