Skip to content

Add pr verification workflow#113

Merged
yhmo merged 1 commit into
milvus-io:masterfrom
yhmo:ma
May 20, 2026
Merged

Add pr verification workflow#113
yhmo merged 1 commit into
milvus-io:masterfrom
yhmo:ma

Conversation

@yhmo
Copy link
Copy Markdown
Collaborator

@yhmo yhmo commented May 20, 2026

No description provided.

Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR introduces an automated PR verification workflow that detects which Conan recipe versions are impacted by a pull request and builds only those targets, then wires the result into a ci-passed label via Mergify.

Changes:

  • Add scripts/pr-detection.py to compute impacted (package, version, conanfile) targets from git diffs.
  • Add a GitHub Actions workflow (pr-verify-recipes.yml) to run detection and build the selected targets on PRs.
  • Add a Mergify configuration to automatically add/remove a ci-passed label based on PR verification results.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 5 comments.

File Description
scripts/pr-detection.py Detects changed recipes/config and outputs a TSV list of recipe versions to build.
.github/workflows/pr-verify-recipes.yml Runs detection + builds selected targets in CI for PRs touching recipes/scripts.
.github/mergify.yml Labels PRs with ci-passed based on the PR verification outcome.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread scripts/pr-detection.py Outdated
Comment thread scripts/pr-detection.py
Comment thread scripts/pr-detection.py
Comment thread .github/workflows/pr-verify-recipes.yml Outdated
Comment thread .github/mergify.yml
Signed-off-by: yhmo <yihua.mo@zilliz.com>
@yhmo yhmo merged commit 3dfc8eb into milvus-io:master May 20, 2026
3 checks passed
@yhmo yhmo deleted the ma branch May 20, 2026 11:14
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.

2 participants