Skip to content

Avoid duplicate CI runs for PR branches - #13

Merged
aneviaro merged 1 commit into
mainfrom
fix/avoid-duplicate-pr-ci
Jun 24, 2026
Merged

Avoid duplicate CI runs for PR branches#13
aneviaro merged 1 commit into
mainfrom
fix/avoid-duplicate-pr-ci

Commits

Commits on Jun 24, 2026