Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/default.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ permissions:

on:
pull_request:
merge_group:
Copy link

Copilot AI Mar 28, 2025

Choose a reason for hiding this comment

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

The merge_group event trigger is added without branch filtering, unlike in the other workflows. Consider adding a branch specification (e.g., branches: ["main"]) to ensure consistency.

Suggested change
merge_group:
merge_group:
branches:
- "main"

Copilot uses AI. Check for mistakes.
Copy link

Copilot AI Jul 21, 2025

Choose a reason for hiding this comment

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

The merge_group trigger should specify branches for consistency with the other workflow files. Consider adding 'branches: ["main"]' to match the pattern used in pull-request.yml and pull-request-opened.yml.

Suggested change
merge_group:
merge_group:
branches:
- "main"

Copilot uses AI. Check for mistakes.
push:
branches:
- "main"
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/pull-request.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ name: On-PR to main
on:
pull_request:
branches: ["main"]
merge_group:
branches: ["main"]

permissions:
pull-requests: write
Expand Down