Add github pages task

This commit is contained in:
Jeremy Soller 2022-10-27 11:30:13 -06:00
parent edf32ddd68
commit 8e1b918594
No known key found for this signature in database
GPG key ID: 87F211AF2BE4C2FE

21
.github/workflows/pages.yml vendored Normal file
View file

@ -0,0 +1,21 @@
name: Pages
on:
push:
branches:
- main
jobs:
pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build documentation
run: cargo doc --verbose
- name: Deploy documentation
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc