Fix detection of ci/no-release label in a push event#7927
Merged
pavoljuhas merged 1 commit intoquantumlib:mainfrom Mar 3, 2026
Merged
Fix detection of ci/no-release label in a push event#7927pavoljuhas merged 1 commit intoquantumlib:mainfrom
pavoljuhas merged 1 commit intoquantumlib:mainfrom
Conversation
Problem: `gh pr list --state=merged` may not find the pull request due to race condition at its push event. Solution: Extract pull request number from the commit subject and look up its labels directly. Follow-up to quantumlib#7917
Collaborator
Author
|
@mhucka - sorry about pestering you with these; this is hopefully a variant that actually works. |
pavoljuhas
added
the
ci/no-release
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #7927 +/- ##
=======================================
Coverage 99.61% 99.61%
=======================================
Files 1104 1104
Lines 99375 99375
=======================================
Hits 98996 98996
Misses 379 379 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
pavoljuhas
added a commit
to pavoljuhas/Cirq
that referenced
this pull request
Mar 3, 2026
This is required for querying the repo on GitHub. Follow-up to quantumlib#7927
github-merge-queue bot
pushed a commit
that referenced
this pull request
Mar 3, 2026
This is required for querying the repo on GitHub. Follow-up to #7927
BichengYing
pushed a commit
to BichengYing/Cirq
that referenced
this pull request
Mar 3, 2026
Problem: `gh pr list --state=merged` may not find the pull request due to race condition at its push event time. Solution: Extract pull request number from the commit subject and look up its labels directly. Follow-up to quantumlib#7917
BichengYing
pushed a commit
to BichengYing/Cirq
that referenced
this pull request
Mar 3, 2026
…umlib#7928) This is required for querying the repo on GitHub. Follow-up to quantumlib#7927
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
2 participants
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.
Problem:
gh pr list --state=mergedmay not find the pull requestdue to race condition at its push event time.
Solution: Extract pull request number from the commit subject and
look up its labels directly.
Follow-up to #7917