Skip to content

Merge changes from sphinx8 into docsearch #793

Merge changes from sphinx8 into docsearch

Merge changes from sphinx8 into docsearch #793

Triggered via pull request August 27, 2025 12:05
Status Success
Total duration 11s
Artifacts

detect_renamed_docs.yaml

on: pull_request
Detect renamed docs
7s
Detect renamed docs
Fit to window
Zoom out
Zoom in