Skip to content

chore(deps): upgrade dependencies - #514

Merged
mergify[bot] merged 1 commit into
mainfrom
github-actions/upgrade
Dec 12, 2025
Merged

chore(deps): upgrade dependencies#514
mergify[bot] merged 1 commit into
mainfrom
github-actions/upgrade

Conversation

@cdklabs-automation

Copy link
Copy Markdown
Collaborator

Upgrades project dependencies. See details in workflow run.


Automatically created by projen via the "upgrade" workflow

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

[Workflow Run]: https://github.com/cdklabs/issue-reprioritization-manager/actions/runs/20151873238

------

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

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@mergify mergify Bot added the queued label Dec 12, 2025
@mergify
mergify Bot merged commit e3469a8 into main Dec 12, 2025
13 checks passed
@mergify

mergify Bot commented Dec 12, 2025

Copy link
Copy Markdown

Merge Queue Status

✅ The pull request has been merged at e420192

This pull request spent 6 seconds in the queue, with no time running CI.
The checks were run in-place.

Required conditions to merge

@mergify
mergify Bot deleted the github-actions/upgrade branch December 12, 2025 00:25
@mergify mergify Bot removed the queued label Dec 12, 2025
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