search

jku / repository-playground

Community artifact repository workflow experiments
Other
7 stars 4 forks source link

Workaround a mypy-click issue #138

Closed jku closed 1 year ago

jku commented 1 year ago

mypy 1.4.1 complains about click decorators. This is issue 2558 in https://github.com/pallets/click/issues.

Workaround by ignoring.