optim: reduce duplicate CI runs on PR branches

This commit is contained in:
2026-04-07 08:22:41 +02:00
parent 0cc2824222
commit 7c9dfdcc2a

View File

@@ -27,6 +27,12 @@ on:
branches:
- main
types: [opened, synchronize, reopened, labeled]
# Only run PR CI if the commit doesn't already have passing branch CI
if: |
github.event_name == 'pull_request' &&
(github.event.action == 'opened' ||
github.event.action == 'synchronize' ||
github.event.action == 'reopened')
paths-ignore:
- 'README.md'
- 'doc/**'