Skip to content

Notify runner-agent for SDK documentation updates - #626

Merged
yhmo merged 1 commit into
masterfrom
notify-runner-agent
Oct 27, 2026
Merged

yhmo merged 1 commit into
masterfrom
notify-runner-agent

Conversation

@yhmo

@yhmo yhmo commented Oct 27, 2026

Copy link
Copy Markdown
Collaborator

Add a tag-push sender workflow that dispatches the private runner-agent SDK documentation orchestrator. Include a manual dispatch mode for validating the integration with an existing release tag.

Signed-off-by: yhmo <yihua.mo@zilliz.com>
Copilot AI balanced review requested due to automatic review settings October 27, 2026 04:32
@sre-ci-robot

Copy link
Copy Markdown

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: yhmo

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Details Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.

@mergify mergify Bot added the dco-passed label Oct 27, 2026
@yhmo
yhmo merged commit cd73007 into master Oct 27, 2026
9 checks passed
@mergify

mergify Bot commented Oct 27, 2026 •

Copy link
Copy Markdown
Contributor

This pull request does not currently match the merge queue conditions, so it cannot be queued from here. The box comes back if it matches again.

@yhmo
yhmo deleted the notify-runner-agent branch October 27, 2026 04:32
@mergify mergify Bot added the ci-passed label Oct 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants