Skip to content
type-hints

Avoid redundant str cast (#867) #57

Sign in to view logs

Avoid redundant str cast (#867)

Avoid redundant str cast (#867) #57

Triggered via push October 8, 2023 16:33
@mrbean-bremenmrbean-bremen
pushed 708ccda
master
Status Success
Total duration 28m 40s
Artifacts –

merge-typing.yml

on: push
Matrix: check-typing
Fit to window
Zoom out
Zoom in