Skip to content

fix(ci): PRブランチへのpushでintegrationが二重実行される問題を修正 - #4

Merged
tkgstrator merged 1 commit into
masterfrom
fix/ci-duplicate-trigger
Oct 4, 2026
Merged

tkgstrator merged 1 commit into
masterfrom
fix/ci-duplicate-trigger

Conversation

@tkgstrator

Copy link
Copy Markdown
Contributor

問題

integration.yaml の on: が push: branches-ignore: [main, master] と pull_request:(ブランチ制限なし)の両方を持っていたため、PRブランチへ push すると push イベントと pull_request(synchronize) イベントが同時に発火し、commitlint / swift-format / Theos build の各ジョブが同じコミットに対して二重に実行されていました。

修正内容

  • integration.yaml から push トリガーを削除し、pull_request + workflow_dispatch のみに一本化しました。
  • deployment.yaml(タグ push 専用)と devcontainer-build.yaml(push は main/master 限定・pull_request トリガー無し)は同種の重複が無いことを確認し、変更していません。

変更ファイル

  • .github/workflows/integration.yaml

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 <noreply@anthropic.com>
@tkgstrator
tkgstrator merged commit 39c8580 into master Oct 4, 2026
2 of 3 checks passed
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