Merge branch 'experiment/ri_evn' into 'main' #167

	##
	## Copyright (c) 2022 Hannah contributors.
	##
	## This file is part of hannah.
	## See https://atreus.informatik.uni-tuebingen.de/ties/ai/hannah/hannah for further info.
	##
	## Licensed under the Apache License, Version 2.0 (the "License");
	## you may not use this file except in compliance with the License.
	## You may obtain a copy of the License at
	##
	## http://www.apache.org/licenses/LICENSE-2.0
	##
	## Unless required by applicable law or agreed to in writing, software
	## distributed under the License is distributed on an "AS IS" BASIS,
	## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	## See the License for the specific language governing permissions and
	## limitations under the License.
	##
	name: Build and Deploy Documentation
	on:
	push:
	branches:
	- main

	permissions:
	contents: write

	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@main
	with:
	submodules: recursive


	- name: Install Dependencies 🔧
	run: pip install --upgrade pydoc-markdown mkdocs pymdown-extensions

	- name: Build 🔧
	run: pydoc-markdown --build --site-dir _build

	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: build/docs/_build

Provide feedback