Skip to content

Conversation

@murki
Copy link
Contributor

@murki murki commented Sep 10, 2024

Outdated plugin version was failing to report violations on UndocumentedPublicProperty and others

@murki murki requested a review from Augustyniak September 10, 2024 19:32
@murki murki enabled auto-merge (squash) September 10, 2024 19:33
Copy link
Contributor

@Augustyniak Augustyniak left a comment

Choose a reason for hiding this comment

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

nice

@murki murki merged commit 5476645 into main Sep 11, 2024
@murki murki deleted the murki/andr-fix-detekt branch September 11, 2024 16:48
@github-actions github-actions bot locked and limited conversation to collaborators Sep 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants