chore: add tip on Hydra-NL #81

	name: "GitHub Pages documentation"
	on:
	push:
	branches: [ main ]

	permissions:
	contents: write

	jobs:
	docs:
	name: Build (and deploy) documentation
	runs-on: ubuntu-latest
	defaults:
	run:
	shell: bash -l {0}
	steps:
	- name: Checkout source
	uses: actions/checkout@v2

	- name: Setup environment
	uses: conda-incubator/setup-miniconda@v2
	with:
	miniforge-variant: Miniforge3
	channels: conda-forge, defaults
	channel-priority: strict
	environment-file: .config/environment.yml
	activate-environment: vrtooldocs_env

	- name: Build docs
	run: make html

	- name: Upload to GitHub Pages
	if: ${{ github.event_name != 'pull_request'}}
	uses: peaceiris/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./build/html
	force_orphan: true

Provide feedback