Add a shared-memory message broker. #1002

	name: Documentation

	on:
	workflow_dispatch:
	branches:
	- develop
	pull_request:
	types: [opened, synchronize, ready_for_review]
	branches:
	- develop
	push:
	branches:
	- develop

	jobs:
	build_docs:
	name: Build
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v4
	- uses: conda-incubator/setup-miniconda@v2
	with:
	auto-update-conda: true
	auto-activate-base: false
	- name: Switch to gcc-10 on linux
	if: runner.os == 'Linux'
	run: \|
	sudo apt install gcc-10 g++-10 cpp-10
	sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 100 --slave /usr/bin/g++ g++ /usr/bin/g++-10 --slave /usr/bin/gcov gcov /usr/bin/gcov-10
	- name: Install dependencies
	run: \|
	cd extern/
	bash ./download.sh
	cd ../
	conda env create --name build-env --file environment.yml
	conda activate build-env
	python setup.py develop
	shell: bash -l {0}
	- name: Build documentation
	run: \|
	conda activate build-env
	cd docs
	make html
	shell: bash -l {0}
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: ./docs/_build/html

	deploy:
	name: Deploy
	if: ${{ github.event_name == 'push' }}

	permissions:
	pages: write
	id-token: write

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

	runs-on: ubuntu-20.04
	needs: build_docs
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback