[github-maintenance] Pin GitHub Actions to SHA hashes (#55) #84

	name: Deploy docs

	# Automatically stop old builds on the same branch/PR
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	build:
	name: Deploy docs
	timeout-minutes: 5
	runs-on: ubuntu-latest
	steps:
	- name: Download source
	uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
	- name: Install Python
	uses: prefix-dev/setup-pixi@82d477f15f3a381dbcc8adc1206ce643fe110fb7 # v0.9.3
	with:
	environments: docs
	- name: Install repository
	run: pixi run -e docs postinstall
	- name: Build site
	run: pixi run -e docs mkdocs build
	- name: Deploy to gh-pages
	# TODO: replace with a maintained action
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	uses: oprypin/push-to-gh-pages@b16c4c1926875f4d9fce26ffc60a623b003231d2 # v3
	with:
	publish_dir: site
	commit_message: 'Generate docs: '

Provide feedback