Update documentation redirects

Merge pull request #13215 from ichard26/pre-commit-ci-update-config #558

Sign in to view logs

Triggered via push February 9, 2025 18:03

sbidoul

main

Status Success

Total duration 17s

Artifacts –

update-rtd-redirects.yml

on: push

update-rtd-redirects