Skip to content

script: filter out unreachable files#297

Draft
fischeti wants to merge 5 commits intomasterfrom
fischeti/filter-script
Draft

script: filter out unreachable files#297
fischeti wants to merge 5 commits intomasterfrom
fischeti/filter-script

Conversation

@fischeti
Copy link
Copy Markdown
Contributor

@fischeti fischeti commented Apr 2, 2026

Tests

Tested in cheshire for vsim and vcs target here, pipeline passes. Reduces file list from 670 to 444.

@fischeti fischeti force-pushed the fischeti/filter-script branch 5 times, most recently from 68afc13 to 0d4580e Compare April 2, 2026 13:20
@fischeti fischeti force-pushed the fischeti/filter-script branch from 0d4580e to 7930fa6 Compare April 2, 2026 14:10
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.

1 participant