Skip to content

Add merge group trigger#768

Merged
nicolasbock merged 1 commit intomasterfrom
sparkling-worm
Aug 5, 2025
Merged

Add merge group trigger#768
nicolasbock merged 1 commit intomasterfrom
sparkling-worm

Conversation

@nicolasbock
Copy link
Collaborator

Signed-off-by: Nicolas Bock nicolasbock@gmail.com

Signed-off-by: Nicolas Bock <nicolasbock@gmail.com>
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds a merge group trigger to the CI workflow, enabling the workflow to run when pull requests are added to a GitHub merge queue.

  • Adds merge_group trigger to the existing workflow triggers

@nicolasbock nicolasbock enabled auto-merge August 5, 2025 20:05
@nicolasbock nicolasbock added this pull request to the merge queue Aug 5, 2025
Merged via the queue into master with commit 61a529f Aug 5, 2025
31 checks passed
@nicolasbock nicolasbock deleted the sparkling-worm branch August 5, 2025 21:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants