Skip to content
Update documentation redirects

Fix zsh completion script (#12173) #221

Sign in to view logs

Fix zsh completion script (#12173)

Fix zsh completion script (#12173) #221

Triggered via push October 7, 2023 13:29
@pradyunsgpradyunsg
pushed 9b73482
main
Status Success
Total duration 20s
Artifacts –

update-rtd-redirects.yml

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