Skip to content

docs: Remove build command from agent instructions - #5873

Merged
runningcode merged 1 commit into
mainfrom
no/remove-build-instructions
Aug 5, 2026
Merged

docs: Remove build command from agent instructions#5873
runningcode merged 1 commit into
mainfrom
no/remove-build-instructions

Conversation

@runningcode

Copy link
Copy Markdown
Contributor

📜 Description

Remove the "Build entire project" command (./gradlew build) from the Essential Commands section of AGENTS.md.

💡 Motivation and Context

./gradlew build is an expensive full-project build that isn't needed as part of the documented agent workflow — ./gradlew check already 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

  • No breaking change or entry added to the changelog.

🔮 Next steps

#skip-changelog

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>
@sentry

sentry Bot commented Jul 30, 2026

Copy link
Copy Markdown

📲 Install Builds

Android

🔗 App Name App ID Version Configuration
SDK Size io.sentry.tests.size 8.51.0 (1) release

⚙️ sentry-android Build Distribution Settings

@runningcode
runningcode marked this pull request as ready for review August 4, 2026 15:31
@runningcode runningcode added the ship-it PR is ready to merge from a reviewer perspective label Aug 4, 2026
Comment thread AGENTS.md
@runningcode
runningcode enabled auto-merge (squash) August 5, 2026 11:12
@runningcode
runningcode merged commit fb4dfe9 into main Aug 5, 2026
70 of 72 checks passed
@runningcode
runningcode deleted the no/remove-build-instructions branch August 5, 2026 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ship-it PR is ready to merge from a reviewer perspective

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants