Repository navigation

Docs

release: v0.7.1 — dashboard, metrics, docs site, SLSA, doctor --fix, … #2

	name: Docs

	on:
	push:
	branches: [main]
	paths:
	- 'docs-site/**'
	- '.github/workflows/docs.yml'

	permissions:
	contents: write

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4

	- uses: actions/setup-python@39cd14951b08e74b54015e9e001cdefcf80e669f # v5
	with:
	python-version: '3.x'

	- name: Install dependencies
	run: pip install -r docs-site/requirements.txt

	- name: Build site
	run: mkdocs build --config-file docs-site/mkdocs.yml --site-dir site

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./site