release 1.13.12: SUMMARY badge rows are not warn/error matches

Classify SUMMARY chrome ([ WARN ] 2, warnings only, bare OK/ERROR
counts without #NNN/tid) as meta so sticky counts and the warn/error
filter only show real checks. Filter context skips blank lines.
This commit is contained in:
Hernâni Marques 2026-07-19 04:17:01 +02:00
parent d47cf43e56
commit 6fdca86f1b
No known key found for this signature in database
GPG key ID: CB5738652768F7E9
3 changed files with 71 additions and 9 deletions

View file

@ -1 +1 @@
1.13.11
1.13.12