diff options
| author |  Chris Lovering <[email protected]> | 2022-10-26 15:22:36 +0100 |
|---|---|---|
| committer | Chris Lovering <[email protected]> | 2022-12-11 13:46:53 +0000 |
| commit | 4c1997790a2b0ee295bfe6909570f888ad82db8c (patch) | |
| tree | abc0e5486b21aced482bb2344cfa6d1251dbdeb5 /dev | |
| parent | Update dockerignore to include dev dir (diff) | |
Add a dry run step to lint & test CI
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/bot/__main__.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/bot/__main__.py b/dev/bot/__main__.py index 1b1a551a..e28be36b 100644 --- a/dev/bot/__main__.py +++ b/dev/bot/__main__.py @@ -31,4 +31,5 @@ async def main() -> None: async with bot: await bot.start(os.getenv("BOT_TOKEN")) -asyncio.run(main()) +if os.getenv("IN_CI", "").lower() != "true": + asyncio.run(main()) |