Skip to content
Update documentation redirects

Merge pull request #12236 from uranusjr/upgrade-doc-builds #184

Sign in to view logs

Merge pull request #12236 from uranusjr/upgrade-doc-builds

Merge pull request #12236 from uranusjr/upgrade-doc-builds #184

Triggered via push August 23, 2023 03:33
@uranusjruranusjr
pushed 49b9c04
main
Status Success
Total duration 28s
Artifacts –

update-rtd-redirects.yml

on: push
update-rtd-redirects
15s
update-rtd-redirects
Fit to window
Zoom out
Zoom in