You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ci: re-enable merge_group and skip jobs for merge queue
GitHub Actions does not allow required status checks to differ between
pull requests and merge queue runs. To work around this, the pull
request workflow must run for merge_group events, but certain jobs—
specifically those marked as required—need to be skipped to avoid
conflicts or redundant execution.
Signed-off-by: Rina Fujino <rina.fujino.23@gmail.com>
0 commit comments