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>