docs: Remove build command from agent instructions - #5873
Open
runningcode wants to merge 1 commit into
Open
Conversation
Drop the "Build entire project" command from AGENTS.md Essential Commands so agents aren't instructed to run a full ./gradlew build, which is an expensive step not needed for the documented workflow. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
📲 Install BuildsAndroid
|
runningcode
marked this pull request as ready for review
August 4, 2026 15:31
runningcode
requested review from
0xadam-brown,
adinauer,
markushi and
romtsn
as code owners
August 4, 2026 15:31
| # Build entire project | ||
| ./gradlew build | ||
|
|
||
| # Generate documentation |
There was a problem hiding this comment.
Bug: The AGENTS.md documentation omits the necessary ./gradlew build command, leading to an incomplete development setup as the project will not be compiled.
Severity: MEDIUM
Suggested Fix
Restore the ./gradlew build command to the AGENTS.md file. The build task is not redundant; it compiles the project and generates artifacts, which the check task does not. The project's Makefile confirms that build is a required step in the workflow.
Prompt for AI Agent
Review the code at the location below. A potential bug has been identified by an AI
agent. Verify if this is a real issue. If it is, propose a fix; if not, explain why it's
not valid.
Location: AGENTS.md#L37
Potential issue: The removal of the `./gradlew build` command from the `AGENTS.md`
documentation file is problematic. While the remaining `./gradlew check` command runs
tests and linters, it does not compile the project or produce necessary build artifacts.
The project's `Makefile` still contains a `compile` target that executes `./gradlew
build`, indicating this command is an essential part of the development workflow. A
contributor following the updated instructions will have an incomplete development setup
because the project will not be compiled, which can lead to subsequent errors and
confusion.
Did we get this right? 👍 / 👎 to inform future reviews.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
📜 Description
Remove the "Build entire project" command (
./gradlew build) from the Essential Commands section ofAGENTS.md.💡 Motivation and Context
./gradlew buildis an expensive full-project build that isn't needed as part of the documented agent workflow —./gradlew checkalready covers running tests and the linter. Removing it keeps the agent instructions lean and avoids steering agents toward a slow, unnecessary step.💚 How did you test it?
Docs-only change to
AGENTS.md. Spotless only targets.java/.kt/*.gradle.kts, so no formatting is affected and there is no API change.📝 Checklist
🔮 Next steps
#skip-changelog