Skip to content

Improve Term documentation (#264) #153

Improve Term documentation (#264)

Improve Term documentation (#264) #153

# Deploys the latest development documentation to Github Pages
name: Deploy documentation
on:
push:
branches: [ dev ]
workflow_dispatch:
env:
CARGO_TERM_COLOR: always
jobs:
deploy_documentation:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
- name: Build documentation
run: cargo doc --no-deps
- name: Deploy documentation
if: ${{ github.event_name == 'branches' }}
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
force_orphan: true