Skip to content

chore(deps): upgrade dev dependencies #1391

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

Merged
merged 1 commit into from
Jun 9, 2025

Conversation

cdklabs-automation
Copy link
Collaborator

@cdklabs-automation cdklabs-automation commented Jun 4, 2025

Upgrades project dependencies. See details in workflow run.


Automatically created by projen via the "upgrade-dev-deps-main" workflow

Copy link
Contributor

mergify bot commented Jun 4, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated.

You should update or rebase your pull request manually. If you do, this pull request will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

Upgrades project dependencies. See details in [workflow run].

[Workflow Run]: https://github.com/cdklabs/cdk-pipelines-github/actions/runs/15541278053

------

*Automatically created by projen via the "upgrade-dev-deps-main" workflow*

Signed-off-by: github-actions <[email protected]>
@cdklabs-automation cdklabs-automation force-pushed the github-actions/upgrade-dev-deps-main branch from 80e40cd to a16321c Compare June 9, 2025 18:06
@mergify mergify bot merged commit 9abf8bc into main Jun 9, 2025
13 checks passed
@mergify mergify bot deleted the github-actions/upgrade-dev-deps-main branch June 9, 2025 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant