docs

Correction bug sur rounds_position_ (STV) #73

	# This workflow will generate the docs on each push, and publish them on GitHub Pages if the branch is "master".

	name: docs

	on: [push]

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

	- name: Checkout
	uses: actions/checkout@v2
	with:
	persist-credentials: false

	- name: Set up Python
	uses: actions/setup-python@v2
	with:
	python-version: '3.12'

	- name: Install dependencies
	run: \|
	sudo apt install pandoc
	python -m pip install --upgrade pip
	pip install setuptools
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
	python setup.py install

	- name: Build Sphinx documentation
	run: \|
	sphinx-build -a -E -b html docs build

	- name: Deploy Sphinx documentation on Github Pages
	uses: JamesIves/[email protected]
	if: github.ref == 'refs/heads/master'
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages
	FOLDER: build/

Provide feedback