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

Remove disabled linters #21

Merged
merged 1 commit into from
Jun 15, 2024
Merged

Remove disabled linters #21

merged 1 commit into from
Jun 15, 2024

Conversation

stv0g
Copy link
Contributor

@stv0g stv0g commented Jun 15, 2024

No description provided.

@stv0g stv0g self-assigned this Jun 15, 2024
@stv0g stv0g force-pushed the remove-disabled-linters branch from 3dc4cd0 to 6f7c51b Compare June 15, 2024 07:28
Signed-off-by: Steffen Vogel <steffen.vogel@opal-rt.com>
@stv0g stv0g force-pushed the remove-disabled-linters branch from 6f7c51b to c1f16d0 Compare June 15, 2024 07:31
@stv0g stv0g merged commit de8b87f into main Jun 15, 2024
5 checks passed
@stv0g stv0g deleted the remove-disabled-linters branch June 15, 2024 07:32
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.

1 participant