Skip to content
Draft
Show file tree
Hide file tree
Changes from 1 commit
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 @@ -3,6 +3,7 @@ name: Default Pipeline

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-opened.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ name: On-Pull-Request opened
on:
pull_request:
types: [opened]
merge_group:
branches: ["main"]

permissions:
pull-requests: write
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
Loading