From 43d0179c43665b2ae2f52ba26a6ab1b2e0ece390 Mon Sep 17 00:00:00 2001
From: Jonas Dedden <university@jonas-dedden.de>
Date: Fri, 9 Aug 2024 12:20:12 +0800
Subject: [PATCH] Run mypy over sources and tests

Signed-off-by: Rodrigo Tobar <rtobar@icrar.org>
---
 .github/workflows/lint.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index dfde53e..5a1c0a8 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -23,6 +23,6 @@ jobs:
       - name: Install package
         run: python setup.py bdist_wheel && pip install dist/crc32c*.whl
       - name: Run mypy
-        run: mypy --strict test/test_crc32c.py
+        run: mypy --strict src test
       - name: Run black
         run: black --check src/ test/