Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(trait): user can't disable platform traits #4817

Merged
merged 2 commits into from Oct 16, 2023

Conversation

squakez
Copy link
Contributor

@squakez squakez commented Oct 11, 2023

Closes #1328

Release Note

chore(trait): user can't disable platform traits

@github-actions
Copy link
Contributor

🐫 Thank you for contributing! 🐫

Unable to create Coverage Report ⚠️.
Merge conflicts found.

@github-actions
Copy link
Contributor

🐫 Thank you for contributing!

Code Coverage Report ✔️ - Coverage unchanged.

1 similar comment
@github-actions
Copy link
Contributor

🐫 Thank you for contributing!

Code Coverage Report ✔️ - Coverage unchanged.

At least, according our E2E tests.
@github-actions
Copy link
Contributor

🐫 Thank you for contributing!

Code Coverage Report ✔️ - Coverage unchanged.

@squakez squakez merged commit eb02913 into apache:main Oct 16, 2023
16 checks passed
@squakez squakez deleted the chore/1328 branch October 16, 2023 07:41
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.

Hide platform traits
2 participants