Skip to content

chore: update deps#2335

Merged
r0b1n merged 7 commits into
mainfrom
deps/update-deps
Jul 17, 2026
Merged

chore: update deps#2335
r0b1n merged 7 commits into
mainfrom
deps/update-deps

Conversation

@r0b1n

@r0b1n r0b1n commented Jul 16, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@r0b1n
r0b1n requested a review from a team as a code owner July 16, 2026 15:06
@github-actions

This comment has been minimized.

leonardomendix
leonardomendix previously approved these changes Jul 16, 2026
HedwigAR
HedwigAR previously approved these changes Jul 16, 2026
iobuhov
iobuhov previously approved these changes Jul 16, 2026

@iobuhov iobuhov left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

3

@r0b1n
r0b1n dismissed stale reviews from iobuhov, HedwigAR, and leonardomendix via 8d1dcef July 16, 2026 19:58
@r0b1n
r0b1n force-pushed the deps/update-deps branch from 8cce622 to 8d1dcef Compare July 16, 2026 19:58
@github-actions

This comment has been minimized.

@r0b1n
r0b1n merged commit 6f9f0ae into main Jul 17, 2026
13 of 14 checks passed
@r0b1n
r0b1n deleted the deps/update-deps branch July 17, 2026 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants