Skip to content

Conversation

@rvandermeulen
Copy link
Contributor

@jonalmeida jonalmeida added the needs landing Auto lands approved and green PRs. label Dec 3, 2025
@mergify
Copy link

mergify bot commented Dec 3, 2025

Merge Queue Status Beta

✅ The pull request has been merged

This pull request spent 43 minutes 18 seconds in the queue, including 43 minutes 10 seconds running CI.
The checks were run in-place.

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

@mergify mergify bot added the queued label Dec 3, 2025
@jonalmeida jonalmeida merged commit 2cc6941 into master Dec 3, 2025
15 checks passed
@jonalmeida jonalmeida deleted the dagp_3.5.1 branch December 3, 2025 23:42
@mergify mergify bot removed the queued label Dec 3, 2025
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