summaryrefslogtreecommitdiffstats
path: root/makefu/5pkgs/custom
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2022-09-26 15:36:25 +0200
committerlassulus <lassulus@lassul.us>2022-09-26 15:36:25 +0200
commit059a5b48af9f6c21c3c442bb0fc35d2105d3b682 (patch)
tree15de5c35d213d677bc2b294fc411d0f43dc536b2 /makefu/5pkgs/custom
parent4d7aacdd1c2a8cc9f6d826cb7e3bb2bc10e36a5e (diff)
parent5b9d7e47c3f1877bcffdf2aafac712451db43d61 (diff)
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/5pkgs/custom')
-rw-r--r--makefu/5pkgs/custom/mediawiki-matrix-bot/default.nix11
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
+ #'';
}