Remove push trigger for master branch

[namanONcode]

This pull request makes a small change to the GitHub Actions workflow configuration by removing the automatic trigger for the benchmark workflow on pushes to the master branch. The workflow can now only be triggered manually.Removed push trigger for master branch from workflow.

Description

Brief description of the changes.

Motivation

Why is this change needed?

Changes

• Change 1
• Change 2

Testing

• Unit tests added/updated
• Integration tests added/updated
• All tests pass (./mvnw clean verify)
• Quality checks pass (./mvnw verify -Pquality)

Checklist

• Code follows Google Java Style (run ./mvnw spotless:apply)
• Javadoc added for public APIs
• No breaking changes (or documented in description)
• CHANGELOG.md updated

[greptile-apps]

Greptile Summary

This PR removes the master branch push trigger from the benchmark workflow, leaving manual dispatch as its only invocation method.

• Removes automatic benchmark runs on pushes to master.
• Retains manual execution through workflow_dispatch.

Confidence Score: 5/5

The PR appears safe to merge because the workflow remains manually runnable and the removal of automatic benchmark runs is explicitly intended.

The only behavioral change is the documented removal of the master push trigger; the remaining workflow_dispatch trigger preserves manual benchmark execution.

Important Files Changed

Filename	Overview
.github/workflows/benchmark.yml	Removes the push trigger as described while preserving a valid manual workflow trigger.

_{Reviews (1): Last reviewed commit: "Remove push trigger for master branch" | Re-trigger Greptile}

[Copilot]

Pull request overview

This PR updates the GitHub Actions benchmark workflow so it no longer runs automatically on pushes to the master branch, leaving it manually triggerable only via workflow_dispatch.

Changes:

• Removed the push trigger for branches: [ master ] from the benchmark workflow.
• Kept the workflow runnable via manual dispatch (workflow_dispatch).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.