name: wiki
on:
workflow_dispatch:
push:
branches:
- master
paths:
- docs/**
- .github/**
jobs:
website:
name: website
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
with:
submodules: true
- name: install
run: sudo apt-get install build-essential && cargo install mdbook --version=0.4.7
- name: prepare
run: |
cargo +stable install senile
senile collect -f="(\.rs|\.py)$" --format="// TODO!(,):" --format="# TODO!(,):" -p . | ./docs/wiki/src/todos.py >> ./docs/wiki/src/todos/root.md
- name: build
working-directory: docs/wiki
run: mdbook build
- name: deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/wiki/book
publish_branch: wiki