search

svthalia / discord-bot

Thalia's Dicord management bot
Other
3 stars 1 forks source link

Add linting to dev.py and run.py #17

Closed mark-boute closed 4 years ago

mark-boute commented 4 years ago

chore: linting to dev.py and run.py files in root dir.

Summary

changed the linting command in .github/workflows/linting.yml to make sure it also lints ./dev.py and ./run.py