github: update the github-action versions to fix some warnings about nodejs-20 instead of nodejs-24 #341

	name: Build the docs
	on:
	workflow_dispatch:
	push:
	branches:
	- master
	- develop
	pull_request:
	paths-ignore:
	- '.github/ISSUE_TEMPLATE/*'

	permissions: {}

	jobs:
	ReadTheDocs:
	runs-on: ubuntu-latest
	steps:
	- name: Check out repo
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	persist-credentials: false
	- name: install doxygen
	run: sudo apt-get install -y doxygen
	- name: install python dependencies
	run: python -m pip install --exists-action=w --no-cache-dir -r doc/python_requirements.txt
	- name: compile documentation
	run: python -m sphinx -T -b html -d _build/doctrees -D language=en doc/source doc/html

Navigation Menu