Skip to content

Trigger CI when closing PR#15

Merged
raphael-s-steiner merged 1 commit intomasterfrom
14-need-to-trigger-ci-when-closing-a-pr
Oct 10, 2025
Merged

Trigger CI when closing PR#15
raphael-s-steiner merged 1 commit intomasterfrom
14-need-to-trigger-ci-when-closing-a-pr

Commits

Commits on Oct 10, 2025