models: require checkpoint in embedded inclusion proof (#723) #233

	name: Documentation

	on:
	push:
	branches:
	- main

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3

	- uses: actions/setup-python@61a6322f88396a6271a6ee3565807d608ecaddd1 # v4.7.0
	with:
	# NOTE: We use 3.10+ typing syntax via future, which pdoc only
	# understands if it's actually run with Python 3.10 or newer.
	python-version: ">= 3.10"
	cache: "pip"
	cache-dependency-path: pyproject.toml

	- name: setup
	run: \|
	make dev SIGSTORE_EXTRA=doc

	- name: build docs
	run: \|
	make doc

	- name: upload docs artifact
	uses: actions/upload-pages-artifact@a753861a5debcf57bf8b404356158c8e1e33150c # v2.0.0
	with:
	path: ./html/

	# This is copied from the official `pdoc` example:
	# https://github.com/mitmproxy/pdoc/blob/main/.github/workflows/docs.yml
	#
	# Deploy the artifact to GitHub pages.
	# This is a separate job so that only actions/deploy-pages has the necessary permissions.
	deploy:
	needs: build
	runs-on: ubuntu-latest
	permissions:
	# NOTE: Needed to push to the repository.
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- id: deployment
	uses: actions/deploy-pages@12ab2b16cf43a7a061fe99da74b6f8f11fb77f5b # v2.0.3

Provide feedback