You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
merge queue: checking main (44c1fc5) and [#2862 + #2863] together - #2866
🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉
Branch main (44c1fc5) and [#2862 + #2863] are queued together for merge.
This pull request has been created by Mergify to check the mergeability of [#2862 + #2863].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queue ruleGithub Actions Updatesfor merge:
We reviewed changes in 44c1fc5...72932ea on this pull request. Below is the summary for the review, and you can see the individual issues we found as inline review comments.
AI Review is run only on demand for your team. We're only showing results of static analysis review right now. To trigger AI Review, comment @deepsourcebot review on this thread.
This PR updates pinned versions of GitHub Actions used in several workflow lockfiles, primarily bumping the shared gh-aw setup action and the CodeQL SARIF upload action to newer commits, to validate the merge queue batch for #2862 and #2863.
File-Level Changes
Change
Details
Files
Bump github/gh-aw-actions/setup action version across multiple workflow lockfiles.
Update the pinned commit SHA for github/gh-aw-actions/setup from v0.84.3 to v0.85.1 in all affected jobs.
Keep all workflow job definitions, step names, and inputs unchanged aside from the action ref.
Ensure consistency of the new setup action version across ci-doctor, agents-md-maintenance, code-simplifier, ci-coach, and daily-malicious-code-scan workflows.
Trigger a new review: Comment @sourcery-ai review on the pull request.
Continue discussions: Reply directly to Sourcery's review comments.
Generate a GitHub issue from a review comment: Ask Sourcery to create an
issue from a review comment by replying to it. You can also reply to a
review comment with @sourcery-ai issue to create an issue from it.
Generate a pull request title: Write @sourcery-ai anywhere in the pull
request title to generate a title at any time. You can also comment @sourcery-ai title on the pull request to (re-)generate the title at any time.
Generate a pull request summary: Write @sourcery-ai summary anywhere in
the pull request body to generate a PR summary at any time exactly where you
want it. You can also comment @sourcery-ai summary on the pull request to
(re-)generate the summary at any time.
Generate reviewer's guide: Comment @sourcery-ai guide on the pull
request to (re-)generate the reviewer's guide at any time.
Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
pull request to resolve all Sourcery comments. Useful if you've already
addressed all the comments and don't want to see them anymore.
Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
request to dismiss all existing Sourcery reviews. Especially useful if you
want to start fresh with a new review - don't forget to comment @sourcery-ai review to trigger a new review!
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
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.
🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉
Branch main (44c1fc5) and [#2862 + #2863] are queued together for merge.
This pull request has been created by Mergify to check the mergeability of [#2862 + #2863].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queue rule
Github Actions Updatesfor merge:github-review-approved[🛡 GitHub repository ruleset rulemain]main]:check-neutral = @mergify/Mergify Merge Protectionscheck-skipped = @mergify/Mergify Merge Protectionscheck-success = @mergify/Mergify Merge ProtectionsRequired conditions to stay in the queue:
author = renovate[bot]github-review-approved[🛡 GitHub repository ruleset rulemain]files ~= ^.github/workflowsfiles ~= action.yaml$main]:check-neutral = @mergify/Mergify Merge Protectionscheck-skipped = @mergify/Mergify Merge Protectionscheck-success = @mergify/Mergify Merge Protections