Skip to content

wiki lint: count comment and run ids as unchecked, not dead evidence - #230

Merged
wshallwshall merged 2 commits into
mainfrom
builder/lint-digit-ids-unchecked
Oct 17, 2026
Merged

wiki lint: count comment and run ids as unchecked, not dead evidence#230
wshallwshall merged 2 commits into
mainfrom
builder/lint-digit-ids-unchecked

wiki lint: still look up an all-digit token, and call it unchecked on…

57cb58b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar