Skip to content

chore: suppress a type error#31751

Merged
mergify[bot] merged 1 commit intomainfrom
huijbers/suppress-type-error
Oct 14, 2024
Merged

chore: suppress a type error#31751
mergify[bot] merged 1 commit intomainfrom
huijbers/suppress-type-error

Conversation

@rix0rrr
Copy link
Copy Markdown
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
Copy Markdown
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

@mergify
Copy link
Copy Markdown
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
@mergify mergify bot deleted the huijbers/suppress-type-error branch October 14, 2024 13:38
@github-actions
Copy link
Copy Markdown
Contributor

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