Skip to content

[WIP] Fix CI triggering twice on PR and push#603

Merged
pancetta merged 3 commits into
masterfrom
copilot/fix-ci-trigger-redunancy
Feb 7, 2026
Merged

[WIP] Fix CI triggering twice on PR and push#603
pancetta merged 3 commits into
masterfrom
copilot/fix-ci-trigger-redunancy

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 7, 2026

  • Understand the current CI workflow configuration
  • Identify the root cause of duplicate CI runs (both push and pull_request triggers)
  • Update ci_pipeline.yml to prevent duplicate runs by:
    • Keep pull_request trigger for all PRs
    • Limit push trigger to master branch only
  • Document the changes in the CI documentation
  • Verify the fix works as expected

💡 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.

Copilot AI and others added 2 commits February 7, 2026 13:08
Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>
Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>
@pancetta pancetta marked this pull request as ready for review February 7, 2026 13:09
@pancetta pancetta merged commit 5bfc164 into master Feb 7, 2026
2 checks passed
Copilot AI requested a review from pancetta February 7, 2026 13:10
Copilot stopped work on behalf of pancetta due to an error February 7, 2026 13:10
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