Skip to content
New issue

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

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

Already on GitHub? # to your account

Emit warning on incorrect Objective name #99

Merged
merged 1 commit into from
Nov 14, 2023
Merged

Conversation

actualwitch
Copy link
Contributor

@actualwitch actualwitch commented Nov 10, 2023

Resolves #98

Copy link
Member

@flenter flenter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💯

@actualwitch actualwitch merged commit a0725ca into main Nov 14, 2023
@actualwitch actualwitch deleted the slo-format-warnings branch November 14, 2023 12:44
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
2 participants