diff options
| author |  Chris Lovering <[email protected]> | 2024-02-19 21:06:40 +0000 |
|---|---|---|
| committer | Chris Lovering <[email protected]> | 2024-02-19 21:06:40 +0000 |
| commit | 8a645c513b8dd5f85a958d4b6a97179c31e079ba (patch) | |
| tree | 0d47c3fb9fadb1bc31f02661829883a55a468883 | |
| parent | Move some ruff config under the lint namespace (diff) | |
Lint codebase with new ruff rules
| -rw-r--r-- | dev/bot/__main__.py | 1 | ||||
| -rw-r--r-- | docs/conf.py | 1 |
2 files changed, 1 insertions, 1 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()) diff --git a/docs/conf.py b/docs/conf.py index b06300a3..2b68fc0f 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -227,7 +227,6 @@ if os.getenv("BUILD_DOCS_FOR_HEAD", "False").lower() == "true": with contextlib.suppress(git.InvalidGitRepositoryError): branch = git.Repo(PROJECT_ROOT).active_branch.name - if branch: logger.info(f"Adding branch {branch} to build whitelist.") smv_branch_whitelist = f"main|{branch}" |