Skip to content

Conversation

@christopherthielen
Copy link
Member

No description provided.

@mergify mergify bot added the queued label Jan 3, 2026
mergify bot added a commit that referenced this pull request Jan 3, 2026
@mergify
Copy link
Contributor

mergify bot commented Jan 3, 2026

Merge Queue Status

✅ The pull request has been merged at d98ec11

This pull request spent 5 minutes 4 seconds in the queue, including 4 minutes 56 seconds running CI.
The checks were run on draft #1016.

Required conditions to merge
  • check-success=ci

@mergify mergify bot merged commit 8652060 into master Jan 3, 2026
6 checks passed
@mergify mergify bot deleted the update-deps branch January 3, 2026 23:42
@mergify mergify bot removed the queued label Jan 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.

2 participants