Skip to content

fix indent and add dispatch #2

fix indent and add dispatch

fix indent and add dispatch #2

Workflow file for this run

name: gendoc
on:
workflow_dispatch:
push:
branches:
- doci
tags:
- '*'
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
gendoc:
name: Generate documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name : Install dependencies
run: sudo apt-get install -y git cmake build-essential doxygen python3-dev python3-pip pybind11-dev libeigen3-dev libomp-dev python3-sphinx python3-sphinx-rtd-theme
- name: Install python dependencies
run: python -m pip install mkdocs mkdocs-material
- name: Generate documentation
run: cd docs && make all
- name: Deploy documentation
run: cd docs && make deploy