Skip to content

Merge branch 'main' into cmc/arc_datatype #36

Merge branch 'main' into cmc/arc_datatype

Merge branch 'main' into cmc/arc_datatype #36

Workflow file for this run

name: GitHub pages
on: [push, pull_request]
jobs:
guide:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v3
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
- run: mdbook build guide
- name: Deploy
if: github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v')
uses: peaceiris/actions-gh-pages@v3.7.3
with:
personal_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./guide/book
destination_dir: ./${{github.ref_name}}/guide
keep_files: false
docs:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v3
- name: Install Rust toolchain
uses: actions-rs/toolchain@v1
with:
toolchain: nightly
profile: minimal
override: true
components: rustfmt, rust-src
- uses: Swatinem/rust-cache@v1
- name: Build Documentation
run: cargo doc --lib --features full --no-deps
env:
RUSTDOCFLAGS: --cfg docsrs
- name: Deploy
if: github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v')
uses: peaceiris/actions-gh-pages@v3.7.3
with:
personal_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
destination_dir: ./${{github.ref_name}}/docs
keep_files: false