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

Avoid duplicate CI runs for PR branches

7564866
Select commit
Loading
Failed to load commit list.
Sign in for the full log view