chg: add t3d_anim_is_playing #26

	name: Build-Documentation

	on: [push, pull_request]

	# Make sure we don't have more than one active workflow to prevent race conditions
	# e.g a previous build may update docs later and overwrite if we don't have this.
	# It is ok to have parallel runs for push and PR events and from different branches.
	# We can cancel previous runs for non-trunk events.
	concurrency:
	group: build-documentation-${{ github.ref }}-${{ github.event_name }}

	jobs:
	Build-Documentation:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 1 # Using a shallow checkout. Change to `0` if a full fetch is required.

	- name: Set variables
	id: vars
	run: \|
	echo "default_ref=${{ format('refs/heads/{0}', github.event.repository.default_branch) }}" >> $GITHUB_OUTPUT

	- name: Run Doxygen
	uses: mattnotmitt/doxygen-action@1.12.0
	with:
	doxyfile-path: 'doxygen-public.conf'

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./website/html

	# Deployment job
	deploy:
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	needs: Build-Documentation
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback