Skip to content

deploy-documentation #2

deploy-documentation

deploy-documentation #2

Workflow file for this run

name: deploy-documentation
on:
push:
tags:
- v*
# Allows to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
deploy-doc:
runs-on: ubuntu-latest
steps:
- name: "Checkout branch ${{ github.head_ref }}"
uses: actions/checkout@v4
with:
ref: ${{ github.head_ref }}
- name: "Set up Python on Ubuntu"
uses: actions/setup-python@v4
with:
python-version: 3.12
- name: "Build doc"
run: |
# Build the doc
# - Install virtualenv
pip install virtualenv
# - Create and activate a new virtualenv
virtualenv mocpy-env
source mocpy-env/bin/activate
# - Install maturin
pip install maturin
# - Build and install mocpy
maturin develop --release
# - Install dependencies needed to build the docs
pip install .[docs]
sudo apt-get install pandoc
# - Build the doc: once done, it is in docs/_build/html/
cd ./docs
make html
cd ..
# Switch off the virtualenv
deactivate
- name: "Publish doc on github pages (commit on branch gh-pages)"
uses: JamesIves/github-pages-deploy-action@v4
with:
branch: gh-pages
folder: docs/_build/html/