Update documentation redirects

Merge pull request #12434 from jeanas/pep-refs #1

Sign in to view logs

Triggered via push January 5, 2024 17:22

jsirois

main

Status Failure

Total duration 17s

Artifacts –

update-rtd-redirects.yml

on: push

update-rtd-redirects

Annotations

1 error

update-rtd-redirects

Process completed with exit code 1.