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

Add skip clause for Public API check #2801

Merged
merged 1 commit into from
Aug 15, 2024
Merged

Conversation

ocelotl
Copy link
Contributor

@ocelotl ocelotl commented Aug 15, 2024

Fixes #2800, related to this comment.

@ocelotl ocelotl added the Skip Changelog PRs that do not require a CHANGELOG.md entry label Aug 15, 2024
@ocelotl ocelotl self-assigned this Aug 15, 2024
@ocelotl ocelotl requested a review from a team August 15, 2024 22:33
@ocelotl ocelotl merged commit e7f647e into open-telemetry:main Aug 15, 2024
522 checks passed
@ocelotl ocelotl deleted the issue_2800 branch August 15, 2024 23:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Skip Changelog PRs that do not require a CHANGELOG.md entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Public API symbols check lacks a clause to skip if label is present
2 participants