albertsgarde / eadk-discord

A Discord bot for the EADK server implemented in Python
1 stars 0 forks source link

CI with static checks #4

Closed albertsgarde closed 2 months ago

albertsgarde commented 2 months ago

Setup CI to only accept PRs where Ruff and MyPy runs without warnings.