From 59bc7c543778bfa8dc5be7874b6cbf4a2af35f27 Mon Sep 17 00:00:00 2001
From: Tilly Woodfield <22456167+tillywoodfield@users.noreply.github.com>
Date: Thu, 1 Feb 2024 11:10:11 +0200
Subject: [PATCH] types: Add mypy to github lint workflow

---
 .github/workflows/lint.yml |  2 ++
 README.md                  | 13 ++++---------
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 076b624..e451191 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -17,3 +17,5 @@ jobs:
       run: black --check iatidata/
     - name: Check flake8
       run: flake8 iatidata/
+    - name: Check types with mypy
+      run: mypy iatidata/
diff --git a/README.md b/README.md
index ab1838e..85de27f 100644
--- a/README.md
+++ b/README.md
@@ -54,15 +54,10 @@ python -m pytest iatidata/
 Linting:
 
 ```
-isort iatidata
-black iatidata
-flake8 iatidata
-```
-
-Type checking:
-
-```
-mypy iatidata
+isort iatidata/
+black iatidata/
+flake8 iatidata/
+mypy iatidata/
 ```
 
 ### Web front-end