Skip to content

Conversation

@rix0rrr
Copy link
Contributor

@rix0rrr rix0rrr commented Dec 2, 2025

This setting was accidentally lost during a large tsconfig refactor.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license

This setting was accidentally lost during a large `tsconfig` refactor.
@rix0rrr rix0rrr requested a review from a team December 2, 2025 11:37
@aws-cdk-automation aws-cdk-automation requested a review from a team December 2, 2025 11:37
@github-actions github-actions bot added the p2 label Dec 2, 2025
@mergify mergify bot added the contribution/core This is a PR that came from AWS. label Dec 2, 2025
@mergify
Copy link
Contributor

mergify bot commented Dec 3, 2025

Merge Queue Status Beta

✅ The pull request has been merged

This pull request spent 31 minutes in the queue, including 30 minutes 49 seconds running CI.
The checks were run in-place.

Required conditions to merge

@mergify
Copy link
Contributor

mergify bot commented Dec 3, 2025

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

@mergify
Copy link
Contributor

mergify bot commented Dec 3, 2025

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

@mergify mergify bot merged commit 05b5a2b into main Dec 3, 2025
19 of 20 checks passed
@mergify mergify bot deleted the huijbers/strip-int branch December 3, 2025 12:45
@github-actions
Copy link
Contributor

github-actions bot commented Dec 3, 2025

Comments on closed issues and PRs are hard for our team to see.
If you need help, please open a new issue that references this one.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 3, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

contribution/core This is a PR that came from AWS. p2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants