Skip to content

Merge branch 'main' into scorpion #85

Merge branch 'main' into scorpion

Merge branch 'main' into scorpion #85

Workflow file for this run

---
name: Docs
on:
push:
branches:
- scorpion
jobs:
autodoc:
name: Build docs
if: github.repository == 'jendrikseipp/scorpion'
timeout-minutes: 60
runs-on: ubuntu-22.04
steps:
- name: Clone repository
uses: actions/checkout@v3
- name: Install Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Build site
run: |
cd misc/autodoc
pip install -r requirements.txt
python3 generate-docs.py
mkdocs build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: misc/autodoc/site
...