Skip to content

ci: avoid duplicate checks for pull requests - #16

Merged
andre487 merged 2 commits into
mainfrom
fix/duplicate-ci-runs
Nov 1, 2026
Merged

andre487 merged 2 commits into
mainfrom
fix/duplicate-ci-runs

Conversation

@andre487

@andre487 andre487 commented Nov 1, 2026

Copy link
Copy Markdown
Owner

Restrict push-triggered checks to main. Pull requests still run checks on each update, without a second run for the same branch push. Manual and scheduled triggers remain unchanged.

Validation: parsed all modified workflows and verified push targets main and pull_request/workflow_dispatch are preserved.

@andre487
andre487 enabled auto-merge (squash) November 1, 2026 18:48
@andre487
andre487 merged commit 40ef87b into main Nov 1, 2026
6 checks passed
@andre487
andre487 deleted the fix/duplicate-ci-runs branch November 1, 2026 18:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant