Skip to content

Conversation

DaniPopes
Copy link
Member

@DaniPopes DaniPopes commented Oct 17, 2025

Make merge queue work.

@DaniPopes DaniPopes disabled auto-merge October 17, 2025 17:16
@DaniPopes DaniPopes enabled auto-merge October 17, 2025 17:16
@DaniPopes DaniPopes added this pull request to the merge queue Oct 17, 2025
@grandizzy grandizzy removed this pull request from the merge queue due to a manual request Oct 17, 2025
@grandizzy grandizzy merged commit 4d5db00 into master Oct 17, 2025
29 of 31 checks passed
@github-project-automation github-project-automation bot moved this to Done in Foundry Oct 17, 2025
@grandizzy grandizzy deleted the dani/ci-merge-group branch October 17, 2025 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants