Add /logs/{logname}/dive_info endpoint #327

	name: Build and deploy documentation

	on: [push]

	jobs:
	DeployDocumentation:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v2
	- name: Set up Python
	uses: actions/setup-python@v2
	with:
	python-version: "3.10"
	- name: Install Poetry
	uses: abatilo/[email protected]
	with:
	poetry-version: "1.3.2"
	- name: Install dependencies
	run: poetry install
	- name: Build HTTP documentation
	run: npx redoc-cli bundle http-api.yml --output docs/http-api.html
	- name: Build documentation
	run: poetry run portray as_html --overwrite

	- name: Deploy documentation
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages
	folder: site
	env:
	ACCESS_TOKEN: ${{ secrets.GIT_TOKEN }}
	if: github.ref == 'refs/heads/master'

Provide feedback