diff options
| author |  ChrisJL <[email protected]> | 2022-02-20 17:51:04 +0000 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-02-20 17:51:04 +0000 |
| commit | c960fe1ef0efa0d71ae96ca0262e7e0046f18a87 (patch) | |
| tree | fc0038d3200497c9d9a306e33486ecaf96bfe9cc /bot/__main__.py | |
| parent | Merge pull request #1037 from python-discord/fix-error-in-pull-1033 (diff) | |
| parent | Add a step during lint that inits the bot (diff) | |
Merge pull request #1039 from python-discord/add-run-bot-step-during-lint
Add run bot step during lint
Diffstat (limited to 'bot/__main__.py')
| -rw-r--r-- | bot/__main__.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bot/__main__.py b/bot/__main__.py index 6889fe2b..0bf7b398 100644 --- a/bot/__main__.py +++ b/bot/__main__.py @@ -12,4 +12,5 @@ bot.add_check(whitelist_check(channels=WHITELISTED_CHANNELS, roles=STAFF_ROLES)) for ext in walk_extensions(): bot.load_extension(ext) -bot.run(Client.token) +if not Client.in_ci: + bot.run(Client.token) |