Skip to content
This repository was archived by the owner on May 24, 2023. It is now read-only.

Add more linters #125

Merged
merged 3 commits into from
Jun 28, 2021
Merged

Add more linters #125

merged 3 commits into from
Jun 28, 2021

Conversation

lucacome
Copy link
Contributor

Adding more linters and fixes for the issues found.

@lucacome lucacome requested a review from a team June 23, 2021 01:12
@lucacome lucacome self-assigned this Jun 23, 2021
@lucacome lucacome requested review from pleshakov and ciarams87 and removed request for a team June 23, 2021 01:12
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jun 23, 2021
@lucacome lucacome merged commit bfbbee0 into master Jun 28, 2021
@lucacome lucacome deleted the chore/add-more-linters branch June 28, 2021 23:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants