summaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-08-20 17:04:17 +0200
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-08-20 17:04:17 +0200
commit591339c7e794162250b01aec5a8b43049b49079b (patch)
tree3b7dc4f2a07a2ddb0f50f8b1c531fc7c88e332b3 /lint
parent5dd29fdb85b881ce4a67f1bc42b9c82ef653c829 (diff)
parent22534d3549a0584c889085594d7ab14cf6e8d44c (diff)
downloadrules-cc-591339c7e794162250b01aec5a8b43049b49079b.tar.gz
Merge branch 'just-rules' into rules
Diffstat (limited to 'lint')
-rw-r--r--lint/RULES3
1 files changed, 3 insertions, 0 deletions
diff --git a/lint/RULES b/lint/RULES
index d7b2703..7e2861c 100644
--- a/lint/RULES
+++ b/lint/RULES
@@ -133,6 +133,9 @@
}
}
]
+ , [ "lint results"
+ , {"type": "nub_right", "$1": {"type": "var", "name": "lint results"}}
+ ]
, [ "summary input"
, {"type": "enumerate", "$1": {"type": "var", "name": "lint results"}}
]