i18n CI: make the coverage gate diff-scoped again, not a full-tree invariant - #524
Open
digitalerdude wants to merge 1 commit into
Open
i18n CI: make the coverage gate diff-scoped again, not a full-tree invariant#524digitalerdude wants to merge 1 commit into
digitalerdude wants to merge 1 commit into