Christian Clauss abc725f12d mypy --install-types --non-interactive . (#4530) ... * mypy --install-types --non-interactive . @dhruvmanila Is this useful/needed given that we do not pin our dependencies? https://mypy-lang.blogspot.com/2021/06/mypy-0910-released.html * updating DIRECTORY.md Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>		2021-09-23 01:37:18 +08:00
..
build.yml	mypy --install-types --non-interactive . (#4530)	2021-09-23 01:37:18 +08:00
directory_writer.yml	No issues so far (#3835)	2020-10-30 15:11:15 +01:00
pre-commit.yml	fix(ci): Update pre-commit hooks and apply new black (#4359)	2021-04-26 07:46:50 +02:00
project_euler.yml	Validate only submitted Project Euler solution (#3977)	2020-11-29 23:11:09 +05:30