diff options
| author | Ben Sima <ben@bsima.me> | 2025-08-26 16:06:30 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-08-28 12:14:03 -0400 |
| commit | 0fd178d432f0564c82a4852dfc3c38dd5335b6f6 (patch) | |
| tree | 9a93d0712fee59fb471f4f4b0d76cb56373f4434 | |
| parent | d160fae065a82057cdb56cd7e35f2fde9ea5ac40 (diff) | |
Include summary in mypy build output
This is actually useful because nix only shows the last 25 log lines, so I'd
like to know how deep the problems go with a summary.
| -rw-r--r-- | Omni/Bild/Builder.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Omni/Bild/Builder.nix b/Omni/Bild/Builder.nix index 77205b2..6731185 100644 --- a/Omni/Bild/Builder.nix +++ b/Omni/Bild/Builder.nix @@ -142,7 +142,6 @@ with bild; let touch ./py.typed check python -m mypy \ --explicit-package-bases \ - --no-error-summary \ --no-color-output \ --exclude 'setup\.py$' \ . |