Skip to content

Remove covered_rules.json from master#5101

Merged
mpaladin merged 1 commit intomasterfrom
ft/drop-coverage-master
Jun 2, 2025
Merged

Remove `covered_rules.json` from `master`#5101
mpaladin merged 1 commit intomasterfrom
ft/drop-coverage-master

Commits

Commits on Jun 2, 2025