Refresh core-coverage badge when critical-modules.txt changes #306
Reference in New Issue
Block a user
Delete Branch "badge-trigger-critical-list"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #305.
Summary
update-badges.ymltriggered on**.py/.pylintrc/pyrightconfig.json/.coveragercbut notscripts/critical-modules.txt— so editing the core-module list alone would not refresh thecore coveragebadge until the next.pychange. Adds it to the workflowon.push.paths. YAML validated.