From 0d7837732bf47efe5cf8dc4865bd02c389f8b8fa Mon Sep 17 00:00:00 2001 From: tkgstrator <29420801+tkgstrator@users.noreply.github.com> Date: Thu, 17 Sep 2026 19:54:25 +0000 Subject: [PATCH] fix(ci): remove duplicate push trigger from Integration workflow integration.yaml had both push (branches-ignore main/master) and pull_request triggers with no branch restriction, so pushing to a PR branch fired the same jobs twice (push + pull_request synchronize). Unify to pull_request only. Co-Authored-By: Claude Sonnet 5 --- .github/workflows/integration.yaml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/integration.yaml b/.github/workflows/integration.yaml index 3814d83..6297ed5 100644 --- a/.github/workflows/integration.yaml +++ b/.github/workflows/integration.yaml @@ -1,9 +1,5 @@ name: Integration on: - push: - branches-ignore: - - main - - master pull_request: jobs: