Skip to content
Lint

options: Replace uses of UserOption[T.Any] with a Union of UserOpti… #1136

Sign in to view logs

options: Replace uses of UserOption[T.Any] with a Union of UserOpti…

options: Replace uses of UserOption[T.Any] with a Union of UserOpti… #1136

Triggered via push September 6, 2024 19:57
@dcbakerdcbaker
pushed 9f0e17d
submit/fully-type-safe-options
Status Success
Total duration 1m 31s
Artifacts –

lint.yml

on: push
pylint
40s
pylint
flake8
10s
flake8
mypy
1m 21s
mypy
Fit to window
Zoom out
Zoom in