Skip to content
Update documentation redirects

Merge pull request #12002 from uranusjr/extra-normalization #59

Sign in to view logs

Merge pull request #12002 from uranusjr/extra-normalization

Merge pull request #12002 from uranusjr/extra-normalization #59

Triggered via push September 17, 2023 17:53
@sbidoulsbidoul
pushed 0827d76
main
Status Failure
Total duration 18s
Artifacts –

update-rtd-redirects.yml

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

Annotations

1 error
update-rtd-redirects
Process completed with exit code 1.