Skip to content
Update documentation redirects

Merge pull request #13022 from hauntsaninja/mypy112 #125

Sign in to view logs

Merge pull request #13022 from hauntsaninja/mypy112

Merge pull request #13022 from hauntsaninja/mypy112 #125

Triggered via push October 22, 2024 00:08
@notatallshawnotatallshaw
pushed 6958e28
main
Status Failure
Total duration 18s
Artifacts –

update-rtd-redirects.yml

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

Annotations

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