Skip to content

Minor cleanup on toolbox generation script #382

Minor cleanup on toolbox generation script

Minor cleanup on toolbox generation script #382

Workflow file for this run

name: Documentation
on: [push, pull_request]
jobs:
BuildDocs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Python 3.7
uses: actions/setup-python@v2
with:
python-version: 3.7
- name: Install dependencies
run: |
sudo apt install -y python3-numpy
pip install -r requirements_doc.txt
- name: Check doc build
run: |
make -C CI/gen_doc doc
- name: Publish master doc
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc
destination_dir: master