Skip to content

Fix rule_id displaying as wrong number on GitHub for rules 0100–0135 - #409

Merged
dennisdoomen merged 1 commit into
mainfrom
dennisdoomen/validate-rule-id-filenames
May 20, 2026
Merged

Fix rule_id displaying as wrong number on GitHub for rules 0100–0135#409
dennisdoomen merged 1 commit into
mainfrom
dennisdoomen/validate-rule-id-filenames

Fix YAML octal parsing of leading-zero rule_ids by quoting them

843fa49
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar