Skip to content

Conversation

cdklabs-automation
Copy link
Collaborator

@cdklabs-automation cdklabs-automation commented Jul 16, 2025

Upgrades project dependencies. See details in workflow run.


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

mergify bot added a commit that referenced this pull request Jul 16, 2025
Copy link
Contributor

mergify bot commented Jul 16, 2025

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #2010 has been dequeued. Mergify failed to merge the pull request. GitHub can't merge the pull request after 15 retries.
Waiting for the branch protection required status checks to be validated.

You can check the last failing draft PR here: #2013.

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.
If you do update this pull request, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, 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/jsii-srcmak/actions/runs/16424649354

------

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

Signed-off-by: github-actions <[email protected]>
@cdklabs-automation cdklabs-automation force-pushed the github-actions/upgrade-main branch from 1c43c9b to 843c9c5 Compare July 21, 2025 18:10
Signed-off-by: github-actions <[email protected]>
mergify bot added a commit that referenced this pull request Jul 21, 2025
@mergify mergify bot merged commit 03f2f66 into main Jul 21, 2025
7 checks passed
@mergify mergify bot deleted the github-actions/upgrade-main branch July 21, 2025 18:20
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