Skip to content

Doc: use 'version_selector' instead of 'display_version' which is deprecated by sphinx-rtd-theme 3.0.0 #32

Doc: use 'version_selector' instead of 'display_version' which is deprecated by sphinx-rtd-theme 3.0.0

Doc: use 'version_selector' instead of 'display_version' which is deprecated by sphinx-rtd-theme 3.0.0 #32

Triggered via pull request October 7, 2024 14:05
Status Success
Total duration 2m 10s
Artifacts

doc_checks.yml

on: pull_request
Documentation checks
1m 41s
Documentation checks
Fit to window
Zoom out
Zoom in