diff options
| -rw-r--r-- | makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix b/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix index 4a91a9161..3da539ee7 100644 --- a/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix +++ b/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix @@ -1,4 +1,4 @@ -{ buildPythonApplication, fetchFromGitHub, feedparser, matrix-nio, docopt, aiohttp, aiofiles, +{ buildPythonApplication, fetchFromGitHub, feedparser, matrix-nio, docopt, aiohttp, aiofiles, types-aiofiles, mypy }: buildPythonApplication rec { @@ -16,7 +16,10 @@ buildPythonApplication rec { nativeBuildInputs = [ mypy ]; - checkPhase = '' - mypy --strict mediawiki_matrix_bot - ''; + #checkInputs = [ + # types-aiofiles + #]; + #checkPhase = '' + # mypy --strict mediawiki_matrix_bot + #''; } |