diff options
author | stuebinm | 2021-12-29 04:49:46 +0100 |
---|---|---|
committer | stuebinm | 2021-12-29 04:56:19 +0100 |
commit | 0419aa9918723c8b74252bf6ff1a2162c2f3a89a (patch) | |
tree | 6c793ecd95e1653024f4cb73675ab2a400c7221c /.gitlab-ci.yml | |
parent | 436a7dbb734f58a254bed6c9d28908033b537bf8 (diff) |
maps, maps, and yet more maps
don't add maps to the result if their lint result looks the same as that
of another list, just say it happened several times instead (this leads
to a rather confusing Eq instance for MapResult which implements a very
simple surface-level equality — perhaps change that later)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions