From 93fa8b86fab3037c92be59125b07698aaa3d0856 Mon Sep 17 00:00:00 2001 From: "Garen J. Torikian" Date: Thu, 25 Jun 2026 14:56:31 -0400 Subject: [PATCH] feat: put the batch id in the generate-prs run name MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Set run-name to "Generate PRs (batch )" for workflow_dispatch runs so the SDK bot dashboard can identify THIS batch's Actions run by name (run.display_title) instead of guessing by timestamp — which can link to an unrelated dispatch when several land while a batch is open. Non-dispatch runs keep the plain "Generate PRs" name. Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/generate-prs.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/generate-prs.yml b/.github/workflows/generate-prs.yml index 7226e0b..2414a70 100644 --- a/.github/workflows/generate-prs.yml +++ b/.github/workflows/generate-prs.yml @@ -1,5 +1,10 @@ name: Generate PRs +# Surface the batch id in the run's display title so the SDK bot dashboard can +# identify THIS batch's run by name (run.display_title) instead of guessing by +# timestamp. Falls back to the plain workflow name for non-dispatch runs. +run-name: ${{ inputs.batch_id && format('Generate PRs (batch {0})', inputs.batch_id) || 'Generate PRs' }} + on: # Batches are dispatched by the SDK bot # via workflow_dispatch with an explicit `services` scope and `batch_id`.