(CI) Update Rust workflow for PR events - #1719
Merged
Steve Lee (SteveL-MSFT) merged 1 commit intoSep 15, 2026
Merged
Steve Lee (SteveL-MSFT) merged 1 commit into
Steve Lee (SteveL-MSFT) merged 1 commit into
Conversation
Copilot started reviewing on behalf of
Mikey Lombardi (He/Him) (michaeltlombardi)
September 11, 2026 18:43
View session
Contributor
There was a problem hiding this comment.
🟢 Approval recommended
No unresolved review comments; requested triggers are included.
Pull request overview
Updates the Rust CI workflow to trigger on additional pull request activity types.
Changes:
- Adds
labeledandunlabeledtriggers. - Adds the
ready_for_reviewtrigger.
File summaries
| File | Description |
|---|---|
.github/workflows/rust.yml |
Expands pull request activity triggers for Rust CI. |
Review details
- Files reviewed: 1/1 changed files
- Comments generated: 0
- Review effort level: Lite
💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
By default, a GitHub workflow only runs when a pull_request event's activity type is opened, synchronize, or reopened. To ensure that the code coverage bypass works for adding the `Ok-CodeCoverage` label, the workflow should _also_ trigger on the `labeled` and `unlabeled` activity types. Additionally, to support triggering the workflow when a PR is moved from draft to ready to review, the workflow should define the `ready_for_review` activity type. This change updates the effective pull request events for the Rust workflow from: - `opened` - `synchronize` - `reopened` To: - `opened` - `synchronize` - `reopened` - `labeled` - `unlabeled` - `ready_for_review`
Mikey Lombardi (He/Him) (michaeltlombardi)
force-pushed
the
maint/main/update-ci
branch
from
September 15, 2026 15:12
c8fc808 to
64d2cad
Compare
Steve Lee (SteveL-MSFT)
approved these changes
Sep 15, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
PR Summary
This change updates the effective pull request events for the Rust workflow from:
openedsynchronizereopenedTo:
openedsynchronizereopenedlabeledunlabeledready_for_reviewPR Context
By default, a GitHub workflow only runs when a pull_request event's activity type is opened, synchronize, or reopened. To ensure that the code coverage bypass works for adding the
Ok-CodeCoveragelabel, the workflow should also trigger on thelabeledandunlabeledactivity types.Additionally, to support triggering the workflow when a PR is moved from draft to ready to review, the workflow should define the
ready_for_reviewactivity type.