Skip to content

Conversation

@rvandermeulen
Copy link
Contributor

No description provided.

@jonalmeida jonalmeida added the needs landing Auto lands approved and green PRs. label Jan 16, 2026
@mergify mergify bot added the queued label Jan 16, 2026
@mergify
Copy link

mergify bot commented Jan 16, 2026

Merge Queue Status

✅ The pull request has been merged at 7ecfbd5

This pull request spent 28 minutes 34 seconds in the queue, including 28 minutes 25 seconds running CI.
The checks were run in-place.

Required conditions to merge
  • status-success=pr-complete

@jonalmeida jonalmeida merged commit 35846aa into master Jan 16, 2026
15 checks passed
@jonalmeida jonalmeida deleted the agp-9.0.0-final branch January 16, 2026 17:40
@mergify mergify bot removed the queued label Jan 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs landing Auto lands approved and green PRs.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants