Skip to content

Prevent duplicate CI Build runs for PR commits#99

Merged
danielchalmers merged 2 commits intomasterfrom
copilot/fix-ci-build-duplicate-runs
Mar 8, 2026
Merged

Prevent duplicate CI Build runs for PR commits#99
danielchalmers merged 2 commits intomasterfrom
copilot/fix-ci-build-duplicate-runs

Conversation

Copy link
Contributor

Copilot AI commented Mar 8, 2026

The Build workflow was triggering twice for the same PR commit because both push and pull_request events fired on PR branch updates. This change scopes push to master while keeping pull_request enabled for PR validation.

  • Workflow trigger adjustment

    • Updated .github/workflows/build.yml to run push builds only on master.
    • Kept pull_request trigger unchanged so PRs still get CI coverage.
  • Resulting behavior

    • PR branch commits: one Build run (pull_request only).
    • Direct pushes to master: one Build run (push on master).
on:
  push:
    branches: [ master ]
  pull_request:

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: danielchalmers <7112040+danielchalmers@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix duplicate CI build runs on PR commits Prevent duplicate CI Build runs for PR commits Mar 8, 2026
@danielchalmers danielchalmers marked this pull request as ready for review March 8, 2026 22:08
@danielchalmers danielchalmers merged commit df07a50 into master Mar 8, 2026
1 check passed
@danielchalmers danielchalmers deleted the copilot/fix-ci-build-duplicate-runs branch March 8, 2026 22:08
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.

2 participants