Update Github CI #9

	name: CI

	on:

	push:

	branches:
	- main

	jobs:

	build:

	runs-on: ubuntu-latest

	steps:

	- uses: actions/checkout@v4

	- name: Install dependencies
	run: sudo apt-get install -y build-essential cmake

	- name: Install Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- run: pip install .

	- name: PyTest
	run: \|
	pip install pytest
	pytest -v tests

	- name: Build documentation
	run: \|
	pip install sphinx sphinx_rtd_theme sphinx_copybutton
	cd docs && make html

	- name: Fix documentation permissions
	run: \|
	chmod -c -R +rX "docs/build/html/" \| while read line; do
	echo "::warning title=Invalid file permissions automatically fixed::$line"
	done

	- name: Upload Pages artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: docs/build/html/

	deploy:

	runs-on: ubuntu-latest

	needs: build

	permissions:
	pages: write
	id-token: write

	environment:
	name: github-pages
	url: ${{steps.deployment.outputs.page_url}}

	steps:

	- name: Deploy artifact to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback