Fix pre-commit

egraphs-good · Oct 23, 2024 · 935d184 · 935d184
1 parent 8040f93
commit 935d184
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -1,8 +1,6 @@
 exclude: ^python/tests/__snapshots__/
 default_language_version:
-  python: python3.10
-ci:
-  skip: [mypy, docs, stubtest]
+  python: python3.12
 repos:
   - repo: https://github.com/astral-sh/ruff-pre-commit
     rev: v0.7.0