Doc

Tidy internal crypto headers (#7508) #752

	name: "Doc"

	on:
	push:
	branches:
	- main
	workflow_dispatch:

	permissions: read-all

	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	container:
	image: mcr.microsoft.com/azurelinux/base/core:3.0
	steps:
	- name: "Checkout dependencies"
	shell: bash
	run: \|
	gpg --import /etc/pki/rpm-gpg/MICROSOFT-RPM-GPG-KEY
	tdnf -y update
	tdnf -y install ca-certificates git

	- run: git config --global --add safe.directory "$GITHUB_WORKSPACE"

	- uses: actions/checkout@v6
	with:
	fetch-depth: 0

	- name: Setup Pages
	id: pages
	uses: actions/configure-pages@v5

	- name: Build Documentation
	run: \|
	set -x
	./scripts/setup-ci.sh
	python3 -m venv env
	source env/bin/activate
	pip install -U pip
	pip install -U -e ./python
	pip install -U -r doc/requirements.txt
	pip install -U -r doc/historical_ccf_requirements.txt
	sphinx-multiversion -D smv_remote_whitelist=origin doc build/html
	shell: bash

	- name: Set up top-level directory
	run: \|
	set -x
	cd build/html
	touch .nojekyll
	cp ../../doc/index.html .
	shell: bash

	- name: Upload pages
	uses: actions/upload-pages-artifact@v4
	with:
	path: build/html

	deploy:
	name: Deploy
	needs: build
	runs-on: ubuntu-latest
	permissions:
	# Needed to authorize deployment to GitHub Pages
	pages: write
	# Needed to authenticate via OIDC
	# See https://github.com/actions/deploy-pages?tab=readme-ov-file#usage
	id-token: write
	environment:
	name: github-pages
	url: ${{steps.deployment.outputs.page_url}}
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback