ci(badges): refresh core-coverage badge on critical-modules.txt changes

update-badges.yml triggered on **.py / .pylintrc / pyrightconfig.json /
.coveragerc but not scripts/critical-modules.txt, so editing the core
module list alone wouldn't refresh the `core coverage` badge until the
next .py change. Add it to the push paths.

Closes #305

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NkwFXLFff9PYPy4wgVBJp9

.gitea/workflows/update-badges.yml

@@ -9,6 +9,8 @@ on:
       - '.pylintrc'
       - 'pyrightconfig.json'
       - '.coveragerc'
+      # The core-coverage badge reads this list; refresh when it changes.
+      - 'scripts/critical-modules.txt'
   workflow_dispatch:
 
 jobs: