Skip to content
Lint

wip: options: Use a Range type for IntegerOptions #1125

Sign in to view logs

wip: options: Use a Range type for IntegerOptions

wip: options: Use a Range type for IntegerOptions #1125

Triggered via push September 3, 2024 16:52
@dcbakerdcbaker
pushed 00ae5b5
submit/fully-type-safe-options
Status Success
Total duration 1m 31s
Artifacts –

lint.yml

on: push
pylint
38s
pylint
flake8
13s
flake8
mypy
1m 20s
mypy
Fit to window
Zoom out
Zoom in