Docs: add admonitions about early development #16

	name: Docs
	on:
	push:
	branches:
	- main
	tags:
	- "*"
	pull_request:
	paths:
	- ".github/workflows/docs.yml"
	- "docs/**"
	workflow_dispatch:

	concurrency:
	# Concurrency group that uses the workflow name and PR number if available
	# or commit SHA as a fallback. If a new build is triggered under that
	# concurrency group while a previous build is running it will be canceled.
	# Repeated pushes to a PR will cancel all previous builds, while multiple
	# merges to main will not cancel.
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.sha }}
	cancel-in-progress: true

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4.1.6
	with:
	fetch-depth: 0
	- uses: prefix-dev/setup-pixi@ba3bb36eb2066252b2363392b7739741bb777659 # v0.8.1
	with:
	environments: docs
	- name: Setup project
	run: \|
	pixi run --environment docs dev
	- name: Build docs
	run: pixi run docs
	- name: Upload artifact
	uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3.0.1
	with:
	path: 'docs/_build/dirhtml'

	pages:
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/main'
	needs: [docs]

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	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@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5

Provide feedback