Merge pull request #96 from ericmjl/better-caching #602

	name: Build documentation

	on:
	push:
	branches:
	- main

	jobs:
	build-docs:
	runs-on: ubuntu-latest
	name: Build documentation

	# https://github.com/marketplace/actions/setup-miniconda#use-a-default-shell
	defaults:
	run:
	shell: bash -l {0}

	steps:
	- name: Checkout repository
	uses: actions/checkout@v2

	- name: Setup Pixi Environment
	uses: prefix-dev/setup-pixi@v0.8.1
	with:
	pixi-version: v0.25.0
	cache: true
	cache-write: ${{ github.event_name == 'push' && github.ref_name == 'main' }}

	- name: Build docs
	run: pixi run build-docs

	- name: Deploy website
	uses: peaceiris/actions-gh-pages@v3
	with:
	# https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-set-personal-access-token-personal_token

	personal_token: ${{ secrets.GHPAGES_DEPLOY_KEY }}

	publish_dir: ./site
	publish_branch: gh-pages
	allow_empty_commit: false
	keep_files: false
	force_orphan: true
	enable_jekyll: false

Provide feedback