Skip to content

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

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 #859

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

cifuzz.yml

on: pull_request
Fit to window
Zoom out
Zoom in