Skip to content

chore(deps): upgrade dependencies#618

Merged
mergify[bot] merged 1 commit intomainfrom
github-actions/upgrade
May 3, 2026
Merged

chore(deps): upgrade dependencies#618
mergify[bot] merged 1 commit intomainfrom
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/25265927958

------

*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 May 3, 2026
@mergify
Copy link
Copy Markdown

mergify Bot commented May 3, 2026

Merge Queue Status

  • Entered queue2026-05-03 00:48 UTC · Rule: default
  • Checks skipped · PR is already up-to-date
  • Merged2026-05-03 00:48 UTC · at 35c2a187def730a3b1b31f83acf90c1f4a6c3940 · squash

This pull request spent 10 seconds in the queue, including 1 second running CI.

Required conditions to merge

@mergify mergify Bot merged commit 4580f92 into main May 3, 2026
13 checks passed
@mergify mergify Bot removed the queued label May 3, 2026
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