Skip to content

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

Merged
MikeMcQuaid merged 1 commit intomasterfrom merge_group_not_pushDec 10, 2024

Commits

Commits on Dec 10, 2024