search

Mr-Robot-Discord-Bot / Mr-Robot

Multi-Purpose powerfull Discord Bot
https://discord.com/oauth2/authorize?client_id=1239962447285063691
GNU General Public License v3.0
3 stars 1 forks source link

Pyright workflows #10

Open OseSem opened 2 months ago

OseSem commented 2 months ago

When people are working with you there is a high likelyhood that they do not use pyright before pushing their code. To make sure they do you can set a pyright workflow like shown here. I can set this up for you if you'd like just respond to this issue or dm me on discord.

KnownBlackHat commented 2 months ago

it would be great if you do so!