Skip to content

Merge pull request #8534 from giovaniniLeo/fearture/adding-dataset-an… #2553

Merge pull request #8534 from giovaniniLeo/fearture/adding-dataset-an…

Merge pull request #8534 from giovaniniLeo/fearture/adding-dataset-an… #2553

Workflow file for this run

name: docs
on:
push:
branches:
- main
jobs:
publish:
name: build and publish docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: |
git fetch --no-tags --prune --depth=1 origin gh-pages
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3.8
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements/docs.txt
- name: Build docs
run: mkdocs build --strict
- name: Publish docs
run: mkdocs gh-deploy