Skip PyPy builds #69

	name: Build documentation

	on:
	push:
	tags:
	- "*"

	jobs:
	build_docs:
	name: Build docs
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Set up python
	uses: actions/setup-python@v5
	with:
	python-version: 3.12
	cache: 'pip'

	- name: Set up HDF5
	run: \|
	sudo apt-get update
	sudo apt-get install libhdf5-dev

	- name: Install Python dependencies
	run: \|
	python -m pip install --upgrade pip setuptools
	pip install cmake pybind11 numpy tox
	DEPENDENCIES=$(python -c 'from setuptools.config.setupcfg import read_configuration as c; a = c("setup.cfg"); print(" ".join(a["options"]["install_requires"][1:]))')
	pip install ${DEPENDENCIES}
	DOCDEPENDENCIES=$(python -c 'with open("docs/requirements.txt") as a: available = list(a); print(" ".join(map(lambda x : x.strip(), filter(lambda x : not x.startswith("#"), available))))')
	pip install ${DOCDEPENDENCIES}

	- name: Build docs
	run: \|
	python setup.py build_ext --inplace
	cp build/lib/dolomite_base/lib_dolomite src/dolomite_base/
	tox -e docs
	touch ./docs/_build/html/.nojekyll

	- name: GH Pages Deployment
	if: github.ref == 'refs/heads/master' \|\| startsWith(github.ref, 'refs/tags/')
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	branch: gh-pages # The branch the action should deploy to.
	folder: ./docs/_build/html
	clean: true # Automatically remove deleted files from the deploy branch

Provide feedback