Skip to content

Ignore build directory when verifying code regions#87

Open
Daniel1464 wants to merge 2 commits into
frcsoftware:mainfrom
Daniel1464:ignoreBuidDirForVerification
Open

Ignore build directory when verifying code regions#87
Daniel1464 wants to merge 2 commits into
frcsoftware:mainfrom
Daniel1464:ignoreBuidDirForVerification

Conversation

@Daniel1464

Copy link
Copy Markdown
Contributor

Spotless sometimes generates java files in the build directory in between runs, and these get resolved as unused code regions by the verifier script. This doesn't impact the CI, but it is a problem when trying to run lint on your local machine.

@Daniel1464
Daniel1464 requested a review from samfreund July 16, 2026 20:39
@github-actions

Copy link
Copy Markdown

🌐 Preview URL: https://pr-87.frcsoftware.pages.dev

@samfreund samfreund 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.

Using path contains 'build' is fairly loose, it could include anything that has the word in it iirc. Prefer narrowing the check to a directory with the exact name of 'build'.

@Daniel1464

Copy link
Copy Markdown
Contributor Author

Using path contains 'build' is fairly loose, it could include anything that has the word in it iirc. Prefer narrowing the check to a directory with the exact name of 'build'.

Would checking for /build instead of build work?

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