feat: put the batch id in the generate-prs run name

[gjtorikian]

Summary

Sets a top-level run-name on generate-prs.yml so each workflow_dispatch run's display title is Generate PRs (batch <id>).

This lets the SDK bot dashboard's active-batch card identify this batch's Actions run by matching run.display_title against the batch id, instead of the previous best-effort "newest/earliest dispatch run near the batch timestamp" heuristic — which can link to an unrelated dispatch when several land while a batch is open (or when the batch's run isn't on the first page of results). Non-dispatch runs keep the plain Generate PRs name.

Pairs with the dashboard-side change in sdk-automation-bot (matches on display_title, falls back to the workflow page when no run matches).

Test plan

• run-name expression validated as well-formed YAML; uses standard Actions expression syntax (inputs.batch_id && format(...) || 'Generate PRs'). No job logic changed.

🤖 Generated with Claude Code

[greptile-apps]

Greptile Summary

This PR updates the GitHub Actions display name for generated PR batches. The main changes are:

• Added a workflow-level run-name to generate-prs.yml.
• Included inputs.batch_id in dispatch run titles.
• Kept Generate PRs as the fallback title when no batch id is present.

Confidence Score: 5/5

The workflow naming change is isolated to the GitHub Actions display title and leaves the job logic unchanged.

The changed workflow adds the expected top-level run-name expression, preserves the fallback title when no batch id is available, and keeps the jobs section unchanged.

No files need additional attention.

T-Rex Logs

What T-Rex did

• Reviewed the base workflow snapshot to confirm there is no workflow-level run-name and that the workflow shape and job IDs are as expected.
• Compared the after-snapshot results to verify the run-name expression is set to Generate PRs (with batch when batch_id is provided), that jobs_equal_to_base is true, and that the expression outputs cover populated, empty, and missing batch IDs.

_{Ran code and verified through T-Rex}

_{Reviews (1): Last reviewed commit: "feat: put the batch id in the generate-p..." | Re-trigger Greptile}