Repository navigation

Bump curl from 8.12.0.bcr.1 to 8.21.0 (#4401) #123

	name: doxygen-tidy

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	permissions:
	contents: read

	jobs:
	doxygen-lint:
	name: Doxygen lint
	runs-on: ubuntu-latest
	env:
	DOXYFILE_FOLDER: 'docs/public'
	DOXYFILE_NAME: 'Doxyfile.lint'
	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	- name: Install doxygen
	run: \|
	sudo apt-get update
	sudo apt-get install -y doxygen
	echo "Installed Doxygen version: $(doxygen --version)"
	- name: Analyze Doxygen comments
	working-directory: ${{ env.DOXYFILE_FOLDER }}
	run: \|
	mkdir /tmp/doxyoutput
	doxygen ${{ env.DOXYFILE_NAME }}
	- name: Check for Doxygen warnings
	working-directory: ${{ env.DOXYFILE_FOLDER }}
	run: \|
	if [ -s doxygen_warnings.log ]; then
	echo "Doxygen warnings found:"
	cat doxygen_warnings.log
	exit 1
	else
	echo "No Doxygen warnings found."
	fi