Skip to content

pre-commit

pre-commit #45

Workflow file for this run

name: Documentation
on:
push:
branches: [main]
permissions:
contents: write
jobs:
doc:
name: Generate and publish website
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.9'
- name: Install doc dependencies
run: pip install -r docs/requirements.txt
- name: Install SUMO-RL
run: |
sudo add-apt-repository ppa:sumo/stable
sudo apt-get update
sudo apt-get install sumo sumo-tools sumo-doc
export SUMO_HOME="/usr/share/sumo"
pip install pytest
pip install -e .[all]
- name: Build
run: |
export SUMO_HOME="/usr/share/sumo"
sphinx-build -b dirhtml -v docs _build
- name: Remove .doctrees
run: rm -r _build/.doctrees
- name: Upload to GitHub Pages
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: _build
branch: gh-pages