From 502c7a43d2584cc0624df4605151894e78425638 Mon Sep 17 00:00:00 2001
From: Marco Favorito <marco.favorito@gmail.com>
Date: Sun, 31 Dec 2023 17:43:19 +0100
Subject: [PATCH] lint: don't skip install for the mypy tox environment

---
 tox.ini | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tox.ini b/tox.ini
index 78f7b35..c000e5d 100644
--- a/tox.ini
+++ b/tox.ini
@@ -37,7 +37,6 @@ commands =
     flake8 pddl tests
 
 [testenv:mypy]
-skip_install = True
 deps =
     mypy>=1.3.0,<1.4.0
     types-click>=7.1.8,<7.2.0