From 22257384081cc339696ab493b719945782f61010 Mon Sep 17 00:00:00 2001 From: tkgstrator <29420801+tkgstrator@users.noreply.github.com> Date: Thu, 17 Sep 2026 20:00:42 +0000 Subject: [PATCH] fix(ci): stop integration workflow from double-firing on PR pushes integration.yaml triggered on both push (branches-ignore: main/master) and pull_request (no branch filter). Pushing to a PR branch therefore fired the push event and the pull_request synchronize event at the same time, running commitlint/format/build twice per push. Drop the push trigger and keep pull_request + workflow_dispatch only. deployment.yaml (tag pushes) and devcontainer-build.yaml (push limited to main/master, no pull_request trigger) don't have the same overlap and are left unchanged. 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 c318978..1747f9f 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: workflow_dispatch: