Skip to content

Conversation

@lucacome
Copy link
Contributor

Add more linters and fix issues reported

@lucacome lucacome requested a review from a team June 23, 2021 01:24
@lucacome lucacome self-assigned this Jun 23, 2021
@lucacome lucacome requested review from ciarams87, pleshakov and soneillf5 and removed request for a team June 23, 2021 01:24
@github-actions github-actions bot added chore Pull requests for routine tasks dependencies Pull requests that update a dependency file labels Jun 23, 2021
@lucacome lucacome merged commit 5cfc4e7 into master Jun 23, 2021
@lucacome lucacome deleted the chore/add-more-linters branch June 23, 2021 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants