From e91bd27589a3aafe573afb258e9f69a6f0dbb95c Mon Sep 17 00:00:00 2001
From: timrid <6593626+timrid@users.noreply.github.com>
Date: Sun, 9 Jan 2022 12:51:34 +0100
Subject: [PATCH] use settings from mypy.ini and also test the
 `construct_typed` folder

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 805dcca..4a3e3db 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -55,7 +55,7 @@ jobs:
       # Run mypy
       - name: Run mypy
         run: |
-          mypy --strict tests/
+          mypy tests construct_typed
 
       # Run pyright
       - name: Run pyright