Speed up pre-commit

dolfinus · dolfinus · commit 5ee91684d5c1 · 2025-12-29T18:45:18.000+03:00
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -118,6 +118,7 @@ repos:
         name: mypy
         entry: mypy syncmaster
         language: python
+        types: [python]
         require_serial: true
         pass_filenames: false
         priority: 10
diff --git a/Makefile b/Makefile
@@ -2,7 +2,6 @@
 
 include .env.local.test
 
-VERSION = develop
 VIRTUAL_ENV ?= .venv
 PYTHON = ${VIRTUAL_ENV}/bin/python
 PIP = ${VIRTUAL_ENV}/bin/pip
