Refresh core-coverage badge when critical-modules.txt changes #306

Merged
didericis-claude merged 1 commits from badge-trigger-critical-list into main 2026-06-26 21:20:03 -04:00
Collaborator

Closes #305.

Summary

update-badges.yml triggered on **.py / .pylintrc / pyrightconfig.json / .coveragerc but not scripts/critical-modules.txt — so editing the core-module list alone would not refresh the core coverage badge until the next .py change. Adds it to the workflow on.push.paths. YAML validated.

Closes #305. ## Summary `update-badges.yml` triggered on `**.py` / `.pylintrc` / `pyrightconfig.json` / `.coveragerc` but not `scripts/critical-modules.txt` — so editing the core-module list alone would not refresh the `core coverage` badge until the next `.py` change. Adds it to the workflow `on.push.paths`. YAML validated.
didericis-claude added 1 commit 2026-06-26 20:31:45 -04:00
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
didericis-claude merged commit fc6dd37dd9 into main 2026-06-26 21:20:03 -04:00
didericis-claude deleted branch badge-trigger-critical-list 2026-06-26 21:20:08 -04:00
Sign in to join this conversation.