Docs

Merge pull request #1387 from feltech/work/1060-batchElementCodeEnumN… #16

	name: "Docs"

	concurrency:
	group: docs
	cancel-in-progress: true

	on:
	push:
	branches: [ main ]

	jobs:
	deploy:
	name: Deploy
	runs-on: ubuntu-latest
	permissions:
	contents: write

	steps:
	- name: Checkout source
	uses: actions/checkout@v4
	with:
	path: src

	# The checkout action ensures the correct auth tokens
	# are set in the repo so we can push. We will pass
	# this path to the deploy stage to use instead of
	# its own temporary checkout.
	- name: Checkout docs branch
	uses: actions/checkout@v4
	with:
	path: target
	ref: docs

	- name: Build
	run: \|
	make -C src/doc/doxygen

	- name: Deploy
	run: \|
	# Global means we don't need hop around the checkouts to set this
	git config --global user.name "GitHub Actions"
	git config --global user.email "[email protected]"
	# Pass the path to the actions/checkout@v4 docs branch checkout
	OPENASSETIO_DOCS_REPO_DIR=`pwd`/target make -C src/doc/doxygen deploy

Provide feedback