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 /Omni/Ci.sh | |
| 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.
Diffstat (limited to 'Omni/Ci.sh')
0 files changed, 0 insertions, 0 deletions