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(aws-cdk-lib): remove superfluous script #27871

Merged
merged 2 commits into from
Nov 7, 2023

Conversation

mrgrain
Copy link
Contributor

@mrgrain mrgrain commented Nov 7, 2023

This checks was introduced when aws-cdk-lib was still a "virtual" package and created by combing different sources. Since this is not the case anymore, we can remove this script.

Fixes failing build.


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

This checks was introduced when aws-cdk-lib was still a "virtual" package and created by combing different sources. Since this is not the case anymore, we can remove this script.
@aws-cdk-automation aws-cdk-automation requested a review from a team November 7, 2023 10:36
@github-actions github-actions bot added the p2 label Nov 7, 2023
@mergify mergify bot added the contribution/core This is a PR that came from AWS. label Nov 7, 2023
@mrgrain mrgrain added the pr/do-not-merge This PR should not be merged at this time. label Nov 7, 2023
@mrgrain
Copy link
Contributor Author

mrgrain commented Nov 7, 2023

@Mergifyio update

Copy link
Contributor

mergify bot commented Nov 7, 2023

update

✅ Branch has been successfully updated

@aws-cdk-automation
Copy link
Collaborator

AWS CodeBuild CI Report

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

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

@mrgrain mrgrain removed the pr/do-not-merge This PR should not be merged at this time. label Nov 7, 2023
Copy link
Contributor

mergify bot commented Nov 7, 2023

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 38f3b89 into main Nov 7, 2023
15 checks passed
@mergify mergify bot deleted the mrgrain/chore/remove-a-script branch November 7, 2023 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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