bump version to 1.5.8 #27

	name: Build and deploy docs to GitHub Pages

	on:
	push:
	branches: [ main ]
	workflow_dispatch:

	jobs:
	build-docs-and-deploy:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.11

	- name: Install Opticomlib and Sphinx dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install .[opticomlib]
	pip install sphinx
	pip install renku-sphinx-theme

	- name: Build HTML
	working-directory: docs
	run: make html

	- name: Deploy to gh-pages
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs/build/html

Provide feedback