From 3ecbbce5763c023242b16102ce149d8eeb08ce19 Mon Sep 17 00:00:00 2001 From: Charles Cooper Date: Sat, 10 Feb 2024 13:20:08 -0500 Subject: [PATCH 1/2] chore: run mypy as part of lint rule in Makefile and remove the separate mypy rule. this makes the development workflow a bit faster --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 645b800e79..366014c78f 100644 --- a/Makefile +++ b/Makefile @@ -17,11 +17,9 @@ dev-init: test: pytest -mypy: - tox -e mypy - lint: tox -e lint + tox -e mypy docs: rm -f docs/vyper.rst From b9f98fd5cfb6e1971437bdeb21b2ac89a9e6f9c9 Mon Sep 17 00:00:00 2001 From: Charles Cooper Date: Sat, 10 Feb 2024 13:27:19 -0500 Subject: [PATCH 2/2] combine the two steps together --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 366014c78f..649b381012 100644 --- a/Makefile +++ b/Makefile @@ -18,8 +18,7 @@ test: pytest lint: - tox -e lint - tox -e mypy + tox -e lint,mypy docs: rm -f docs/vyper.rst