Skip to content

Conversation

@github-actions
Copy link

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot added the merge-queue merge after ci succeeds label Nov 11, 2025
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 8 times, most recently from dfa2ff1 to 205cec3 Compare November 21, 2025 03:17
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 205cec3 to e05c3ec Compare November 22, 2025 03:16
@Mic92 Mic92 added this pull request to the merge queue Nov 22, 2025
Merged via the queue into main with commit 85567c2 Nov 22, 2025
3 checks passed
@Mic92 Mic92 deleted the create-pull-request/patch branch November 22, 2025 20:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-queue merge after ci succeeds

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant