Skip to content
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.

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

chore: suppress a type error #31751

Merged
merged 1 commit into from
Oct 14, 2024
Merged

chore: suppress a type error #31751

merged 1 commit into from
Oct 14, 2024

Conversation

rix0rrr
Copy link
Contributor

@rix0rrr rix0rrr commented Oct 14, 2024

Not sure how this is not causing a compilation error at CDK build time, but it's a red underline in my IDE and a compilation error in the new CLI repo.

Fixing it.


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

Not sure how this is not causing a compilation error at CDK build time, but
it's a red underline in my IDE and a compilation error in the new CLI
repo.

Fixing i.
@rix0rrr rix0rrr requested a review from a team October 14, 2024 13:07
@aws-cdk-automation aws-cdk-automation requested a review from a team October 14, 2024 13:08
@github-actions github-actions bot added the p2 label Oct 14, 2024
@mergify mergify bot added the contribution/core This is a PR that came from AWS. label Oct 14, 2024
@aws-cdk-automation
Copy link
Collaborator

AWS CodeBuild CI Report

  • CodeBuild project: AutoBuildv2Project1C6BFA3F-wQm2hXv2jqQv
  • Commit ID: eccd6e6
  • Result: SUCCEEDED
  • Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

Copy link
Contributor

mergify bot commented Oct 14, 2024

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 b9504f6 into main Oct 14, 2024
24 checks passed
@mergify mergify bot deleted the huijbers/suppress-type-error branch October 14, 2024 13:38
Copy link

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 Oct 14, 2024
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.

3 participants