Skip to content

Merge pull request #7816 from radarhere/type_hints #1512

Merge pull request #7816 from radarhere/type_hints

Merge pull request #7816 from radarhere/type_hints #1512

Triggered via push February 20, 2024 22:24
Status Success
Total duration 22s
Artifacts
update_release_draft
13s
update_release_draft
Fit to window
Zoom out
Zoom in