Docs

Print results table at the end of an evaluation session (#337) #28

	---
	name: Docs

	on:
	push:
	branches:
	- main

	permissions:
	contents: write

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Setting up PDM
	uses: pdm-project/setup-pdm@v4
	with:
	python-version: "3.10"
	architecture: x64
	- name: Setting up nox
	uses: wntrblm/[email protected]
	with:
	python-versions: "3.10"
	- name: Configure Git Credentials
	run: \|
	git config user.email "[email protected]"
	git config user.name "GitHub Action"
	- name: Deploy Documentation
	run: \|
	git fetch origin gh-pages:gh-pages
	nox -s docs -- deploy --update-aliases dev
	git push origin gh-pages

Provide feedback