diff options
author | lassulus <lassulus@lassul.us> | 2022-09-26 15:36:25 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2022-09-26 15:36:25 +0200 |
commit | 059a5b48af9f6c21c3c442bb0fc35d2105d3b682 (patch) | |
tree | 15de5c35d213d677bc2b294fc411d0f43dc536b2 /makefu/5pkgs/custom | |
parent | 4d7aacdd1c2a8cc9f6d826cb7e3bb2bc10e36a5e (diff) | |
parent | 5b9d7e47c3f1877bcffdf2aafac712451db43d61 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/5pkgs/custom')
-rw-r--r-- | makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix b/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix index 4a91a9161..421cb76f2 100644 --- a/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix +++ b/makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix @@ -16,7 +16,12 @@ buildPythonApplication rec { nativeBuildInputs = [ mypy ]; - checkPhase = '' - mypy --strict mediawiki_matrix_bot - ''; + + doCheck = false; + #checkInputs = [ + # types-aiofiles + #]; + #checkPhase = '' + # mypy --strict mediawiki_matrix_bot + #''; } |