Next try: add id-token perm #9

	---
	name: Auto-deployment of pid4cat_model documentation
	on:
	push:
	branches: [main]
	workflow_dispatch:

	jobs:
	build-docs:
	runs-on: ubuntu-latest
	# set write permissions only for pages
	# https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
	permissions:
	pages: write # to deploy to Pages
	id-token: write # to verify the deployment originates from an appropriate source

	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0 # otherwise, you will failed to push refs to dest repo

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.9

	- name: Install Poetry
	run: pipx install poetry

	- name: Install dependencies.
	run: poetry install -E docs

	- name: Build documentation.
	run: \|
	mkdir -p docs
	touch docs/.nojekyll
	make gendoc
	([ ! -f docs/about.md ] && cp src/docs/about.md docs/) \|\| true
	make mkd-gh-deploy

Provide feedback