Skip to content

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

github/workflows: use merge_group instead of push events.

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

Annotations

11 warnings

tests (Ubuntu 24.04)

succeeded Dec 10, 2024 in 3m 16s