summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Clauss <cclauss@me.com>2023-05-02 10:39:44 +0200
committerDamien George <damien@micropython.org>2023-05-10 09:57:26 +1000
commit4e4bdbd191eb00ef42d9bd6fe9a8303a16f6878d (patch)
tree0d81e0300ce398f79e7084062852c68461e2d8b0
parenta000c61d5d6933b9750413de434ac664254eca2b (diff)
top: Add ruff to pre-commit.
This does not align with the other pre-commit jobs with are local custom code but it should run accurately and quickly. Signed-off-by: Christian Clauss <cclauss@me.com>
-rw-r--r--.pre-commit-config.yaml4
1 files changed, 4 insertions, 0 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 12f3d79c9..e9815a4b2 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -11,3 +11,7 @@ repos:
language: python
verbose: true
stages: [commit-msg]
+ - repo: https://github.com/charliermarsh/ruff-pre-commit
+ rev: v0.0.265
+ hooks:
+ - id: ruff