Skip to content

chore(merge-back): 1.117.0 #4958

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Oct 22, 2025
Merged

chore(merge-back): 1.117.0 #4958

merged 2 commits into from
Oct 22, 2025

Conversation

@aws-cdk-automation
Copy link
Collaborator

@aws-cdk-automation aws-cdk-automation commented Oct 22, 2025 •
edited
Loading

See CHANGELOG

@aws-cdk-automation aws-cdk-automation added auto-approve pr/no-squash This PR should be merged instead of squash-merging it labels Oct 22, 2025
@mergify mergify bot added the contribution/core This is a PR that came from AWS. label Oct 22, 2025
@mergify
Copy link
Contributor

mergify bot commented Oct 22, 2025

Thank you for contributing! ❤️ I will now look into making sure the PR is up-to-date, then proceed to try and merge it!

@mergify mergify bot added the pr/ready-to-merge This PR is ready to be merged. label Oct 22, 2025
@mergify
Copy link
Contributor

mergify bot commented Oct 22, 2025

Merging (no-squash)...

@mergify mergify bot added the queued label Oct 22, 2025
@mergify
Copy link
Contributor

mergify bot commented Oct 22, 2025

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #4958 has been dequeued. The pull request could not be merged. This could be related to an activated branch protection or ruleset rule that prevents us from merging. (details: Required status check "Integration test (jsii-pacmak)" is failing.).

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.
If you do update this pull request, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@mergify mergify bot added dequeued and removed queued labels Oct 22, 2025
@mrgrain
Copy link
Contributor

mrgrain commented Oct 22, 2025

@Mergifyio queue

@mergify
Copy link
Contributor

mergify bot commented Oct 22, 2025

queue

🛑 The pull request has been removed from the queue default-squash

Pull request #4958 has been dequeued. The pull request could not be merged. This could be related to an activated branch protection or ruleset rule that prevents us from merging. (details: Required status check "Integration test (jsii-pacmak)" is failing.).

You can take a look at Queue: Embarked in merge queue check runs for more details about the failure.

@mrgrain
Copy link
Contributor

mrgrain commented Oct 22, 2025

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented Oct 22, 2025

refresh

✅ Pull request refreshed

@mergify mergify bot added queued and removed dequeued labels Oct 22, 2025
@mergify mergify bot merged commit 70c1b02 into main Oct 22, 2025
124 of 128 checks passed
@mergify mergify bot deleted the merge-back/1.117.0 branch October 22, 2025 21:14
@mergify mergify bot removed pr/ready-to-merge This PR is ready to be merged. queued labels Oct 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@github-actions github-actions[bot] github-actions[bot] approved these changes

Assignees

No one assigned

Labels

auto-approve contribution/core This is a PR that came from AWS. pr/no-squash This PR should be merged instead of squash-merging it

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@aws-cdk-automation @mrgrain