Skip to content

ci: update dependency marked#2815

Merged
mhaertwig merged 1 commit into
mainfrom
update-marked
Jun 10, 2026
Merged

ci: update dependency marked#2815
mhaertwig merged 1 commit into
mainfrom
update-marked

Conversation

@mhaertwig

Copy link
Copy Markdown
Collaborator

No description provided.

@mhaertwig mhaertwig added the target: major Pull requests marked with this label should only be merged into main and not into any x.x branches label Jun 10, 2026

@kyubisation kyubisation 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.

LGTM 👍
Thanks! 😃

@mhaertwig
mhaertwig merged commit 3e7b4ad into main Jun 10, 2026
17 checks passed
@mhaertwig
mhaertwig deleted the update-marked branch June 10, 2026 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

target: major Pull requests marked with this label should only be merged into main and not into any x.x branches

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants