Merge branch 'develop' #174

	---
	# documentation: https://help.github.com/en/articles/workflow-syntax-for-github-actions
	name: deploy EasyBuild documentation (only on push to main branch)
	on: # yamllint disable-line rule:truthy
	push:
	branches: main
	permissions:
	contents: write # to fetch code (actions/checkout) + deploy docs to GitHub Pages (gh-pages branch)
	jobs:
	build-docs:
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # 4.2.2
	with:
	fetch-depth: 0

	- name: set up Python
	uses: actions/setup-python@42375524e23c412d93fb67b49958b491fce71c38 # v5.4.0
	with:
	python-version: '3.10'

	- name: checkout easybuild framework
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # 4.2.2
	with:
	repository: easybuilders/easybuild-framework
	path: src/easybuild-framework
	ref: main

	- name: install mkdocs
	run: \|
	pip install -r requirements.txt
	mkdocs --version

	- name: build docs
	# can't use --strict due to warnings being produced by mkdocs-redirect plugin
	# because we are re-directing .html pages
	# run: mkdocs build --strict
	run: mkdocs build

	- name: deploy docs
	run: mkdocs gh-deploy --force

Provide feedback