main branch manual deploy the LUMI Software Library #3

	---
	# documentation: https://help.github.com/en/articles/workflow-syntax-for-github-actions
	name: main branch manual deploy the LUMI Software Library
	on: workflow_dispatch
	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 # actions/checkout: See https://github.com/actions/checkout
	uses: actions/checkout@v4
	with:
	path: LUMI-EasyBuild-docs

	- name: checkout LUMI-SoftwareStack
	uses: actions/checkout@v4
	with:
	repository: ${{ github.repository_owner }}/LUMI-SoftwareStack
	path: LUMI-SoftwareStack

	- name: checkout LUMI-EasyBuild-contrib
	uses: actions/checkout@v4
	with:
	repository: ${{ github.repository_owner }}/LUMI-EasyBuild-contrib
	path: LUMI-EasyBuild-contrib

	- name: checkout LUMI-EasyBuild-containers
	uses: actions/checkout@v4
	with:
	repository: ${{ github.repository_owner }}/LUMI-EasyBuild-containers
	path: LUMI-EasyBuild-containers

	- name: set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.11'

	- name: install mkdocs
	run: \|
	pip install -r LUMI-EasyBuild-docs/config/requirements.txt
	mkdocs --version

	- name: build docs
	# We do a build first to ensure that building works as expected.
	# We don't use --strict as we do want to ignore some warnings.
	run: \|
	cd LUMI-EasyBuild-docs && make build

	- name: deploy docs
	run: \|
	cd LUMI-EasyBuild-docs && make deploy-origin

Provide feedback