Doc: Style and build flow alignment #11

	name: Build documentation

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches: [main]
	release:
	types: [published]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	Build documentation:
Check failure on line 16 in .github/workflows/docs.yml View workflow run for this annotation GitHub Actions / Build documentation Invalid workflow file `The workflow is not valid. .github/workflows/docs.yml (Line: 16, Col: 3): The identifier 'Build documentation' is invalid. IDs may only contain alphanumeric characters, '_', and '-'. IDs must start with a letter or '_' and and must be less than 100 characters.`
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Fetch tags
	if: github.event_name == 'release'
	run: \|
	git fetch --tags --force

	- uses: Open-CMSIS-Pack/gen-pack-action@main
	with:
	doxygen-version: 1.9.6
	gen-doc-script: ./Documentation/Doxygen/gen_doc.sh
	doc-path: ./Documentation/html
	gh-pages-branch: gh-pages

Provide feedback