diff options
| author | Damien George <damien@micropython.org> | 2025-11-04 16:58:02 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-11-05 12:46:55 +1100 |
| commit | 10b7dfd9f20f58987da511d87684662d3a38ef01 (patch) | |
| tree | ee26cd6e040ae84bb8d9c740352d712cff8abc1c | |
| parent | 2a5c5093ec69baf1460d1dadb617b7f5371b5b60 (diff) | |
top: Include tools/cc1 in ruff search path.
So that pre-commit and CI will check formatting and linting.
Signed-off-by: Damien George <damien@micropython.org>
| -rw-r--r-- | pyproject.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pyproject.toml b/pyproject.toml index 8c14c2bff..041dd7419 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -23,6 +23,8 @@ ACKNOWLEDGEMENTS,\ [tool.ruff] # Exclude third-party code from linting and formatting extend-exclude = ["lib"] +# Include Python source files that don't end with .py +extend-include = ["tools/cc1"] line-length = 99 target-version = "py37" |