Skip to content

Merge pull request #40 from mjhouse/development #26

Merge pull request #40 from mjhouse/development

Merge pull request #40 from mjhouse/development #26

Workflow file for this run

name: Docs
on:
push:
branches: [ master ]
jobs:
build:
name: Build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build Documentation
uses: actions-rs/cargo@v1
with:
command: doc
args: --all --no-deps
- name: Configure Documentation
run: |
echo "<meta http-equiv=\"refresh\" content=\"0; url=deaf/index.html\">" > target/doc/index.html
cp -r target/doc ./docs
- name: Deploy Documentation
uses: peaceiris/actions-gh-pages@v3
with:
personal_token: ${{ secrets.PIPELINE_TOKEN }}
publish_branch: documentation
publish_dir: ./docs
keep_files: false