Skip to content
Lint

Merge remote-tracking branch 'origin/type_hints' into type_hints #1382

Sign in to view logs

Merge remote-tracking branch 'origin/type_hints' into type_hints

Merge remote-tracking branch 'origin/type_hints' into type_hints #1382

Triggered via push April 30, 2024 14:33
@nulanonulano
pushed 007caae
type_hints
Status Success
Total duration 10m 38s
Artifacts –

lint.yml

on: push
Lint
1m 20s
Lint
Fit to window
Zoom out
Zoom in