Skip to content

ci: change pr closed triggers#13

Merged
mmpetarpeshev merged 1 commit intomasterfrom ci/change-PR-closed-triggersNov 8, 2024

Commits

Commits on Nov 8, 2024