2021-02-16 10:52:42 +00:00
|
|
|
on: [push]
|
|
|
|
|
|
|
|
|
|
name: CI
|
|
|
|
|
|
|
|
|
|
jobs:
|
2021-02-16 21:33:36 +00:00
|
|
|
doc:
|
|
|
|
|
name: panorama
|
2021-02-16 10:52:42 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2021-02-16 10:55:36 +00:00
|
|
|
- name: checkout
|
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
|
|
|
|
|
- name: rust
|
|
|
|
|
uses: actions-rs/toolchain@v1
|
2021-02-16 10:52:42 +00:00
|
|
|
with:
|
|
|
|
|
toolchain: stable
|
2021-02-16 10:55:36 +00:00
|
|
|
|
|
|
|
|
- name: mdbook
|
|
|
|
|
uses: peaceiris/actions-mdbook@v1
|
|
|
|
|
with:
|
|
|
|
|
mdbook-version: 'latest'
|
|
|
|
|
|
|
|
|
|
- name: build mdbook
|
|
|
|
|
run: |
|
2021-02-16 10:52:42 +00:00
|
|
|
mdbook build docs -d $(pwd)/public
|
|
|
|
|
|
2021-02-16 10:55:36 +00:00
|
|
|
- name: build api docs
|
|
|
|
|
run: |
|
2021-02-16 12:34:48 +00:00
|
|
|
cargo doc --workspace --no-deps --document-private-items
|
2021-02-16 10:52:42 +00:00
|
|
|
cp -r target/doc public/api
|
2021-02-16 10:55:36 +00:00
|
|
|
|
2021-02-16 10:52:42 +00:00
|
|
|
- name: deploy
|
|
|
|
|
uses: JamesIves/github-pages-deploy-action@4.0.0
|
|
|
|
|
with:
|
|
|
|
|
branch: gh-pages
|
|
|
|
|
folder: public
|
|
|
|
|
|
|
|
|
|
# vim: set sw=2 tw=2 :
|
