Skip to content

Docs - default to sphinx_rtd_theme #777

Docs - default to sphinx_rtd_theme

Docs - default to sphinx_rtd_theme #777

Triggered via pull request March 10, 2025 22:45
Status Success
Total duration 43s
Artifacts

documentation.yml

on: pull_request
Sphinx build
36s
Sphinx build
Fit to window
Zoom out
Zoom in