Skip to content

Report which files triggered USE_FILES - #245

Merged
bluwy merged 2 commits into
publint:masterfrom
dreyfus92:feat/report-which-files
Jul 27, 2026
Merged

bluwy merged 2 commits into
publint:masterfrom
dreyfus92:feat/report-which-files

Conversation

@dreyfus92

@dreyfus92 dreyfus92 commented Jul 25, 2026 •

Copy link
Copy Markdown
Contributor

follow-up to #244

the USE_FILES check now collects every matching internal path instead of stopping at the first hit, and reports them via args.internalFilePaths (e.g. /test/, /.gitignore). the formatted message lists the first 5 paths and appends "and N more" beyond that.

related: #141

@bluwy bluwy left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect. Thanks!

@bluwy
bluwy merged commit ad737a3 into publint:master Jul 27, 2026
4 checks passed
@github-actions github-actions Bot mentioned this pull request Jul 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants