From f6fc738610cb3d51c025b52cbd335570a5cbf658 Mon Sep 17 00:00:00 2001 From: Anton Staykov Date: Wed, 24 Jun 2026 15:32:48 +0200 Subject: [PATCH 1/2] Fine runing PR validation flow --- .github/workflows/pr-validation.yml | 28 +++++++++++++++++++++++++--- 1 file changed, 25 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr-validation.yml b/.github/workflows/pr-validation.yml index 2cb1ff608b..026873f1c3 100644 --- a/.github/workflows/pr-validation.yml +++ b/.github/workflows/pr-validation.yml @@ -45,6 +45,10 @@ name: PR Validation (Run Assessment) +# Surface the validated PR in the Actions run list so a maintainer can tell at a +# glance which PR each run targeted (pr_number is a user-supplied dispatch input). +run-name: PR Validation — PR #${{ inputs.pr_number }} + on: workflow_dispatch: inputs: @@ -55,7 +59,7 @@ on: pillar: description: 'Pillar' required: false - default: 'AI' + default: 'All' type: choice options: - All @@ -119,8 +123,26 @@ jobs: "RUN_SHA=$sha" | Out-File -FilePath $env:GITHUB_ENV -Append "RUN_BRANCH=$branch" | Out-File -FilePath $env:GITHUB_ENV -Append + - name: Record validated PR in run summary + shell: pwsh + run: | + # Write a short, clickable summary so maintainers can jump straight to + # the validated PR from the run page. Only the user-supplied PR number + # and public repo/branch/SHA are included — no secrets or report paths. + $repo = '${{ github.repository }}' + $pr = '${{ inputs.pr_number }}' + $lines = @( + '## Validated PR', + '', + "Pull request: [#$pr](https://github.com/$repo/pull/$pr)", + "Repository: ``$repo``", + "Branch: ``$($env:RUN_BRANCH)``", + "Commit: ``$($env:RUN_SHA)``" + ) + $lines -join "`n" | Out-File -FilePath $env:GITHUB_STEP_SUMMARY -Append + - name: Azure login (Workload Identity Federation) - uses: azure/login@v2 + uses: azure/login@v3 with: client-id: ${{ env.AZURE_CLIENT_ID }} tenant-id: ${{ env.AZURE_TENANT_ID }} @@ -235,7 +257,7 @@ jobs: # diagnostic report still uploads. Report files live on the runner disk and # are untouched by re-login. if: always() && env.REPORT_PATH != '' - uses: azure/login@v2 + uses: azure/login@v3 with: client-id: ${{ env.AZURE_CLIENT_ID }} tenant-id: ${{ env.AZURE_TENANT_ID }} From de3744fde197dc9ed41fcc60f70c38703fa24194 Mon Sep 17 00:00:00 2001 From: Anton Staykov Date: Wed, 24 Jun 2026 15:40:06 +0200 Subject: [PATCH 2/2] run name update for the PR Validation workflow --- .github/workflows/pr-validation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-validation.yml b/.github/workflows/pr-validation.yml index 026873f1c3..19de940769 100644 --- a/.github/workflows/pr-validation.yml +++ b/.github/workflows/pr-validation.yml @@ -47,7 +47,7 @@ name: PR Validation (Run Assessment) # Surface the validated PR in the Actions run list so a maintainer can tell at a # glance which PR each run targeted (pr_number is a user-supplied dispatch input). -run-name: PR Validation — PR #${{ inputs.pr_number }} +run-name: "PR Validation — PR #${{ inputs.pr_number }}" on: workflow_dispatch: