Skip to content

fix: all six open issues — the linter was pattern-matching text, not analysing shell (#220 #225 #226 #227 #228 #229 #230) - #231

Merged
noahgift merged 14 commits into
mainfrom
fix/lint-false-positives-and-kani-escaper
Aug 18, 2026
Merged

fix: all six open issues — the linter was pattern-matching text, not analysing shell (#220 #225 #226 #227 #228 #229 #230)#231
noahgift merged 14 commits into
mainfrom
fix/lint-false-positives-and-kani-escaper

docs(changelog): the missing DET002 entry, corrected counts, and the …

df5949a
Select commit
Loading
Failed to load commit list.