Skip to content

github/workflows: use merge_group instead of push events. #15289

github/workflows: use merge_group instead of push events.

github/workflows: use merge_group instead of push events. #15289

Annotations

1 warning

Analyze

succeeded Dec 10, 2024 in 1m 54s