Skip to content

Add rule order checks and reporting for shared rule mismatches - #812

Merged
moritz-gross merged 1 commit into
daisy:mainfrom
moritz-gross:audit-translation--check-rule-order
Sep 23, 2026
Merged

moritz-gross merged 1 commit into
daisy:mainfrom
moritz-gross:audit-translation--check-rule-order

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

for named rules (no definitions files) that exist in both files, report if/where they differ.
Does not seem to happen in most cases (though I found on case in Portuguese, where divergence was out of order).

closes #619

@moritz-gross
moritz-gross merged commit 709b716 into daisy:main Sep 23, 2026
6 of 7 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Sep 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

translation audit tool lack considering ordering of rules

1 participant