Skip to content

Merge pull request #7622 from hugovk/add-mypy #967

Merge pull request #7622 from hugovk/add-mypy

Merge pull request #7622 from hugovk/add-mypy #967

Triggered via push December 20, 2023 10:29
Status Skipped
Total duration 6s
Artifacts
update_release_draft
0s
update_release_draft
Fit to window
Zoom out
Zoom in