Skip to content

CircleCI - added a filtering branch for the push trigger#1182

Closed
pomek wants to merge 12 commits intomasterfrom
ci/4073-ci-filters
Closed

CircleCI - added a filtering branch for the push trigger#1182
pomek wants to merge 12 commits intomasterfrom
ci/4073-ci-filters

Conversation

@pomek
Copy link
Copy Markdown
Member

@pomek pomek commented Jul 16, 2025

🚀 Summary

See ckeditor/ckeditor5#18862 for more details.


📌 Related issues

  • Closes #000

💡 Additional information

Optional: Notes on decisions, edge cases, or anything helpful for reviewers.

@coveralls
Copy link
Copy Markdown

coveralls commented Jul 16, 2025

Coverage Status

coverage: 86.72%. remained the same
when pulling e5b96fe on ci/4073-ci-filters
into 80bb24c on master.

Comment thread .circleci/config.yml Outdated
Comment thread .circleci/config.yml Outdated
@pomek pomek requested a review from psmyrek July 17, 2025 05:52
psmyrek
psmyrek previously approved these changes Jul 17, 2025
Comment thread .circleci/config.yml Outdated
Comment thread .circleci/config.yml Outdated
Comment thread .circleci/config-github.yml
@pomek
Copy link
Copy Markdown
Member Author

pomek commented Jul 17, 2025

It turns out that there is no option to cover all cases using the CircleCI configuration options. I am going to close this PR and revert changes in CKEditor 5.

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.

3 participants