Skip to content

[dotnet-port-api] Add agent-as-tool argument name/description customization #742

[dotnet-port-api] Add agent-as-tool argument name/description customization

[dotnet-port-api] Add agent-as-tool argument name/description customization #742

name: Classify pull requests

Check warning on line 1 in .github/workflows/classify-pull-request.yml

View workflow run for this annotation

GitHub Actions / Classify pull requests

Workflow execution policy warning (evaluate mode)

On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target
# Run the trusted, API-only reusable workflow for fork PRs without checking out
# or executing contributor code.
on:
pull_request_target:
types: [opened, synchronize, reopened, ready_for_review]
workflow_dispatch:
inputs:
pr-number:
description: "PR number to classify, or 0 to backfill size and area labels only"
required: false
default: 0
type: number
permissions:
contents: read
issues: write
pull-requests: write
concurrency:
group: classify-pull-request-${{ github.event.pull_request.number || inputs.pr-number || 'all' }}
cancel-in-progress: true
jobs:
classify-size-area:
uses: microsoft/go-infra/.github/workflows/classify-pull-request.yml@aa7f15406687e999a87799192a0aeb57dd53f10a
permissions:
contents: read
issues: write
pull-requests: write
with:
pr-number: ${{ github.event.pull_request.number || fromJSON(github.event.inputs.pr-number || '0') }}
area-prefixes: |
{
"area:agent": ["agent/"],
"area:workflow": ["workflow/"],
"area:message": ["message/"],
"area:tool": ["tool/"],
"area:provider": ["provider/"],
"area:provider/a2a": ["provider/a2aprovider/"],
"area:provider/agui": ["provider/aguiprovider/"],
"area:provider/anthropic": ["provider/anthropicprovider/"],
"area:provider/copilot": ["provider/copilotprovider/"],
"area:provider/foundry": ["provider/foundryprovider/"],
"area:provider/gemini": ["provider/geminiprovider/"],
"area:provider/openai": ["provider/openaiprovider/"],
"area:provider/otel": ["provider/otelprovider/"],
"area:internal": ["internal/"],
"area:tooling": ["cmd/"],
"area:examples": ["examples/", "cmd/verifyexamples/examples.go"],
"area:github": [".github/"]
}
classify-kind:
if: github.event_name != 'workflow_dispatch' || github.event.inputs.pr-number != '0'
needs: classify-size-area
uses: microsoft/go-infra/.github/workflows/classify-pull-request-kind.lock.yml@aa7f15406687e999a87799192a0aeb57dd53f10a
secrets: inherit
permissions:
actions: read
contents: read
issues: write
pull-requests: write
copilot-requests: write
with:
pr_number: ${{ github.event.pull_request.number || fromJSON(github.event.inputs.pr-number || '0') }}