Skip to content
deploy docs site to Pages

style(robot): drop type ignores that mypy 2.4 no longer needs #534

Sign in to view logs

style(robot): drop type ignores that mypy 2.4 no longer needs

style(robot): drop type ignores that mypy 2.4 no longer needs #534

Triggered via push October 2, 2026 15:22
@d-biehld-biehl
pushed 46e0b1c
main
Status Success
Total duration 18m 54s
Artifacts –

deploy-docs.yml

on: push
build
34s
build
Deploy
Deploy
Fit to window
Zoom out
Zoom in

Annotations

1 notice
build
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"