Skip to content

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

Merge pull request #12434 from jeanas/pep-refs

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

Triggered via push January 6, 2024 03:49
Status Failure
Total duration 16s
Artifacts
update-rtd-redirects
6s
update-rtd-redirects
Fit to window
Zoom out
Zoom in

Annotations

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