Commit 2026-11-06 18:56 43fcfdc1

ci: duplicate declarations report (#40435) This adds a workflow that runs lintDuplicateDeclarations weekly and posts a summary to Zulip (with the full report in a workflow artifact). The Zulip message contains the number of duplicate theorem, instance and def groups and is intentionally barebones for now. In future work we will make changes to Tactic.DuplicateDeclarations to make the report more useful. Prepared with Claude code.