diff options
author | 2024-02-19 21:06:40 +0000 | |
---|---|---|
committer | 2024-02-19 21:06:40 +0000 | |
commit | 8a645c513b8dd5f85a958d4b6a97179c31e079ba (patch) | |
tree | 0d47c3fb9fadb1bc31f02661829883a55a468883 /dev/bot/__main__.py | |
parent | Move some ruff config under the lint namespace (diff) |
Lint codebase with new ruff rules
Diffstat (limited to 'dev/bot/__main__.py')
-rw-r--r-- | dev/bot/__main__.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/bot/__main__.py b/dev/bot/__main__.py index ea74649c..43c4dbd5 100644 --- a/dev/bot/__main__.py +++ b/dev/bot/__main__.py @@ -32,5 +32,6 @@ async def main() -> None: async with bot: await bot.start(os.getenv("BOT_TOKEN")) + if os.getenv("IN_CI", "").lower() != "true": asyncio.run(main()) |