Update documentation redirects

Update search command docs (#12271) #198

Sign in to view logs

Triggered via push September 10, 2023 08:25

pradyunsg

main

Status Success

Total duration 1m 3s

Artifacts –

update-rtd-redirects.yml

on: push

update-rtd-redirects