You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi, when merging in #18 you will see that the github actions break in mypy.
I did a bit of research and it seems that this error is discussed also here python/mypy#2960.
One trick could be to pass the parameter --cache-dir=/dev/null to mypy.
You might want to consider this.
The text was updated successfully, but these errors were encountered:
On 16.02.2023, at 10:49, Raphaël Vinot ***@***.***> wrote:
It's failing because a few ignored lines don't need to be ignored anymore. I'll fix that later.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you authored the thread.
Hi, when merging in #18 you will see that the github actions break in mypy.
I did a bit of research and it seems that this error is discussed also here python/mypy#2960.
One trick could be to pass the parameter
--cache-dir=/dev/null
to mypy.You might want to consider this.
The text was updated successfully, but these errors were encountered: